Automated verification of security protocols and application to services - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Automated verification of security protocols and application to services

Abstract

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00915323 , version 1

Cite

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 View
0 Download

Share

Gmail Facebook X LinkedIn More