Automated verification of security protocols and application to services - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Automated verification of security protocols and application to services

Résumé

We survey some results on security protocol analysis that have contributed to the development of verification systems capable of detecting real flaws. In particular we recall the principles of constrained-based analysis of security protocols and some decision procedures based on algebraic properties of cryptographic functions. We present some potential applications of the same security protocol analysis techniques to service oriented computing such as the synthesis of a secure composed service and its validation.
Nous présentons plusieurs résultats en analyse de protocoles de sécurité ainsi que leur application à l'orchestration et à la validation de services sécurisés.
Fichier non déposé

Dates et versions

hal-00915323 , version 1 (07-12-2013)

Identifiants

  • HAL Id : hal-00915323 , version 1

Citer

Michael Rusinowitch. Automated verification of security protocols and application to services. Verification and Evaluation of Computer and Communication Systems, Alessandro Fantechi, University of Florence, Italy, Nov 2013, Florence, Italy. ⟨hal-00915323⟩
144 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More