Title | ||
---|---|---|
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/978-3-540-45138-9_3 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
cryptographic protocol,process algebra,expressive power | Algebraic number,Cryptographic protocol,Computer science,Cryptography,Secrecy,Theoretical computer science,Program analysis,Rule of inference,Process calculus,Encoding (memory) | Conference |
Volume | ISSN | Citations |
2747 | 0302-9743 | 2 |
PageRank | References | Authors |
0.39 | 30 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roberto Gorrieri | 1 | 2297 | 184.63 |
Fabio Martinelli | 2 | 2 | 0.39 |