Martin Abadi, Andrew D. Gordon  Home/Search
Context Related
| microsoft.com/~adg/Publication...spi.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: microsoft.com/~adg/Publ...details (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce the spi calculus, an extension of the pi calculus designed for describing and analyzing cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the spi calculus enables us to consider cryptographic issues in more detail. We represent protocols as processes in the spi calculus and state their security properties in terms of coarse-grained notions of... (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. In Proceedings of the Fourth ACM Conference on Computer and Communications Security, pages 36--47, 1997. http://citeseer.ist.psu.edu/abadi98calculus.html More
@inproceedings{ abadi97calculus,
author = "Mart{\'\i}n Abadi and Andrew D. Gordon",
title = "A Calculus for Cryptographic Protocols: The Spi Calculus",
booktitle = "Fourth {ACM} Conference on Computer and Communications Security",
publisher = "{ACM} Press",
pages = "36--47",
year = "1997",
url = "citeseer.ist.psu.edu/abadi98calculus.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1529 A method for obtaining digital signatures and public-key cry.. - Rivest, Shamir et al. - 1978
854 Information and Computation (context) - Milner, Parrow et al. - 1992
450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
447 Prentice-Hall International (context) - Milner, Concurrency - 1989
428 IEEE Transactions on Information Theory (context) - Diffie, Hellman et al. - 1976
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
302 A logic of authentication - Burrows, Abadi et al. - 1989
276 Applied Cryptography: Protocols (context) - Schneier - 1996
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
197 Barbed bisimulation - Milner, Sangiorgi - 1992
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1996
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://research.microsoft.com/~adg/Publications/details.htm): More
Stack Inspection: Theory and Variants - Fournet, Gordon (2001) (Correct)
Stack Inspection: Theory and Variants - Fournet, Gordon (Correct)
Typing Correspondence Assertions for Communication Protocols - Gordon, Jeffrey (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC