Martin Abadi, Andrew D. Gordon  Home/Search
Context Related
| digital.com/pub/DEC/SRC/...spidist2.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: tcs.hut.fi/~helger/crypto/link... (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 the description and analysis of 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 coarsegrained... (Update)
Cited by: More
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
A Concurrent Logical Framework II: - Examples And Applications (Correct)
Similar documents (at the sentence level):
28.8%: A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1997) (Correct)
Active bibliography (related documents): More All
0.3: Reasoning about Cryptographic Protocols in the Spi Calculus - Abadi, Gordon (1997) (Correct)
0.1: A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon (1998) (Correct)
0.1: Secrecy by Typing in Security Protocols - Abadi (1998) (Correct)
Related documents from co-citation: More All
42: Information and Computation (context) - Milner, Parrow et al. - 1992
30: Mobile ambients - Cardelli, Gordon - 1998
26: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
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/article/abadi96calculus.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/article/abadi96calculus.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
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 - 1994
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
248 Expressing Mobility (context) - Sangiorgi - 1992
197 Barbed bisimulation - Milner, Sangiorgi - 1992
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1996
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
159 The chemical abstract machine (context) - Berry, Boudol - 1990
149 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
130 Provably secure session key distribution: The three party ca.. - Bellare, Rogaway - 1995
112 Bisimilarity as a theory of functional programming (context) - Gordon - 1995
98 Security properties and CSP - Schneider - 1996
97 Mathematical Structures in Computer Science (context) - Milner, processes - 1992
97 the security of public key protocols (context) - Dolev, Yao - 1981
89 The Interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987
69 Applying formal methods to the analysis of a key management .. - Meadows - 1992
54 Testing equivalence for mobile processes (context) - Boreale, De Nicola - 1995
47 Analyzing encryption protocols using formal verification tec.. (context) - Kemmerer - 1989
33 Using temporal logic to specify and verify cryptographic pro.. - Gray, McLean - 1995
28 National Bureau of Standards - standard, Inform et al. - 1977
25 Authentication in distributed systems: A bibliography (context) - Liebl - 1993
23 The Interrogator model (context) - Millen - 1995
11 Undergraduate lecture notes (context) - Milner, -calculus - 1995
7 Laboratory for Foundations of Computer Science (context) - Sangiorgi, bisimulation et al. - 1994
6 On two proposals for on-line bankcard payments using open ne.. - Mao - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.tcs.hut.fi/~helger/crypto/link/protocols/):
Secure Multi-Party Computational Geometry - Atallah, Du (2001) (Correct)
Privacy-Preserving Cooperative Statistical Analysis - Du, Atallah (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