CaPiTo: protocol stacks for services - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Formal Aspects of Computing Année : 2011

CaPiTo: protocol stacks for services

Han Gao
  • Fonction : Auteur
  • PersonId : 923244
Flemming Nielson
  • Fonction : Auteur correspondant
  • PersonId : 923245

Connectez-vous pour contacter l'auteur
Hanne Riis Nielson
  • Fonction : Auteur
  • PersonId : 923246

Résumé

allows the modelling of service-oriented applications using process algebras at three levels of abstraction. The level focuses on the key functionality of the services; the level shows how to obtain security using standardised protocol stacks; finally, the level allows to consider how security is obtained using asymmetric and symmetric cryptographic primitives. The approach therefore caters for a variety of developers that need to cooperate on designing and implementing service-oriented applications. We show how to formally analyse specifications for ensuring the absence of security flaws. The method used is based on static analysis of the corresponding LySa specifications. We illustrate the development on two industrial case studies; one taken from the banking sector and the other a single sign-on protocol.
Fichier principal
Vignette du fichier
PEER_stage2_10.1007%2Fs00165-011-0174-7.pdf (808.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00684301 , version 1 (01-04-2012)

Identifiants

Citer

Han Gao, Flemming Nielson, Hanne Riis Nielson. CaPiTo: protocol stacks for services. Formal Aspects of Computing, 2011, 23 (4), pp.541-565. ⟨10.1007/s00165-011-0174-7⟩. ⟨hal-00684301⟩

Collections

PEER
42 Consultations
78 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More