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