M. Abadi and A. Gordon. A calculus for cryptographic protocols: the spi calculus. Information and Computation, 148(1):1--70, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (353 citations) Self-citation (Abadi Gordon) (Correct)
No context found.
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.
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (353 citations) Self-citation (Abadi Gordon) (Correct)
No context found.
M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Technical Report 414, University of Cambridge Computer Laboratory, January 1997.
Authenticity by Typing for Security Protocols - Andrew Gordon Microsoft (2001) (42 citations) Self-citation (Gordon) (Correct)
No context found.
M. Abadi and A. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148:1--70, 1999.
Verified Interoperable Implementations of Security Protocols - Karthikeyan Bhargavan Edric (2006) Self-citation (Gordon) (Correct)
No context found.
M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148:1--70, 1999.
C edric Fournet Andrew D. Gordon - Sergio Maffeis September (2005) Self-citation (Gordon) (Correct)
No context found.
M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148:1--70, 1999.
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) Self-citation (Abadi) (Correct)
No context found.
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.
Protecting Alice from Malice: Protocols, . . . - Gordon (2006) Self-citation (Gordon) (Correct)
No context found.
M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148:1--70, 1999.
A Calculus for Cryptographic Protocols - Lecture Notes Andrew Self-citation (Gordon) (Correct)
No context found.
M. Abadi and A.D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148:1--70, 1999.
Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (35 citations) Self-citation (Gordon) (Correct)
No context found.
M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148:1--70, 1999.
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
No context found.
M. Abadi and A. Gordon. A calculus for cryptographic protocols: the spi calculus. Information and Computation, 148(1):1--70, 1999.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
Abadi and Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148, 1999.
A Concurrent Logical Framework II: - Examples And Applications (Correct)
No context found.
M. Abadi and A. Gordon. A calculus for cryptographic protocols: the spi calculus. Information and Computation, 148(1):1-70, 1999.
Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005) (Correct)
No context found.
Abadi, M. and A. Gordon: 1999, `A calculus for cryptographic protocols: the spi calculus'. Information and Computation 148(1), 1--70.
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
No context found.
M. Abadi and A. Gordon. A calculus for cryptographic protocols: the spi calculus. Information and Computation, 148(1):1--70, 1999.
Unknown - (Correct)
No context found.
Martn Abadi and Andrew D. Gordon. A calculus for cryptographic protocols: The spi calculus. In Proceedings of the Fourth ACM Conference on Computer and Communications Security, Zurich, pages 36--47. ACM Press, April 1997.
Towards a Formal Treatment of Secrecy against.. - Troina, Aldini, Gorrieri (Correct)
No context found.
M. Abadi, A. D. Gordon, "A Calculus for Cryptographic Protocols: The Spi Calculus ", Information and Computation, 148(1):1--70, 1999.
Timed Automata with Data Structures for Distributed.. - Lanotte.. (Correct)
No context found.
M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The Spi calculus. In 4th ACM Conference on Computer and Communications Security, pages 36--47. ACM Press, 1997.
Secure Composition of Insecure Components - Sewell, Vitek (1999) (23 citations) (Correct)
No context found.
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, Zurich, pages 36--47. ACM Press, Apr. 1997.
Unknown - (Correct)
No context found.
Mart'in Abadi and Andrew D. Gordon. A calculus for cryptographic protocols: The spi calculus. In Proceedings of the Fourth ACM Conference on Computer and Communications Security, Zurich, pages 36--47. ACM Press, April 1997.
A Framework for Analyzing Probabilistic - Protocols And Its (Correct)
No context found.
Martin Abadi and Andrew Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1):1--70, 1999.
On the Relationships between Notions of.. - Datta, Küsters.. (2006) (1 citation) (Correct)
No context found.
Martn Abadi and Andrew D. Gordon. A calculus for cryptographic protocols: the spi calculus. Information and Computation, 143:1--70, 1999.
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
No context found.
M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. In Proc. 4th ACM Conference on Computer and Communications Security, pages 36--47, 1997.
Logical Concepts in Cryptography - Kramer (2006) (Correct)
No context found.
Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The Spi-calculus. Information and Computation 148(1) (1999)
Computational Soundness of Formal Indistinguishability.. - Bana, Mohassel, Stegers (2006) (Correct)
No context found.
M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The Spi Calculus. Information and Computation, 148(1):1--70, January
A Framework for Analyzing Probabilistic - Protocols And Its (Correct)
No context found.
Martin Abadi and Andrew Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1):1--70, 1999.
First 50 documents Next 50
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