PUMA
Istituto di Informatica e Telematica     
Martinelli F. Process algebraic frameworks for the specification and analysis of cryptographic protocols. In: 28th International Symposium, MFCS (Bratislava, 2003). Proceedings, pp. 46 - 67. Springer, 2003.
 
 
Abstract
(English)
Two process algebraic approaches for the analysis of cryptographic protocols, namely the spi calculus by Abadi and Gordon and CryptoSPA by Focardi, Gorrieri and Martinelli, are surveyed and compared. We show that the two process algebras have comparable expressive power, by providing an encoding of the former into the latter. We also discuss the relationships among some security properties, i.e., authenticity and secrecy, that have different definitions in the two approaches.
Subject Data Structures
Compilers
Programming Languages
K.6.5 Security and protection


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional