A top-down look at a secure message

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1738, Issue , 1999, Pages 122-141

  Abadi, Martín ^a   Fournet, Cédric ^b   Gonthier, Georges ^c  

^a LUCENT TECHNOLOGIES   (United States)

^b MICROSOFT RESEARCH   (United States)

^c INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; SOFTWARE ENGINEERING;

CORRECTNESS CONDITIONS; CRYPTOGRAPHIC PRIMITIVES; CRYPTOGRAPHIC PROTOCOLS; DISTRIBUTED IMPLEMENTATION; JOIN CALCULUS; LOWER LEVEL LANGUAGE; SECURE MESSAGES; SIMPLE PROTOCOL;

CRYPTOGRAPHY;

EID: 22844454253     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46691-6_10     Document Type: Conference Paper

References (34)

1. Martín Abadi. Protection in programming-language translations. In Proceedings of the 25th International Colloquium on Automata, Languages and Programming, pages 868-883, July 1998.
2. Martín Abadi, Cédric Fournet, and Georges Gonthier. Secure implementation of channel abstractions. Manuscript, on the Web at http://join.inria.fr/; subsumes [3] and [4].
3. Martín Abadi, Cédric Fournet, and Georges Gonthier. Secure implementation of channel abstractions. In Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, pages 105-116, June 1998.
4. Martin Abadi, Cedric Fournet, and Georges Gonthier. Secure communications processing for distributed languages. In Proceedings of the 1999 IEEE Symposium on Security and Privacy, pages 74-88, May 1999.
5. Martín Abadi and Andrew D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1), January 1999. An extended version appeared as Digital Equipment Corporation Systems Research Center report № 149, January 1998.
6. Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the 30th Annual ACM Symposium on Theory of Computing, pages 419-428, May 1998.
7. Andrew D. Birrell. Secure communication using remote procedure calls. ACM Transactions on Computer Systems, 3(1):1-14, February 1985.
8. Dominique Bolignano. Towards the formal verification of electronic commerce protocols. In Proceedings of the 10th IEEE Computer Security Foundations Workshop, pages 133-146, 1997.
9. Rocco De Nicola and Matthew C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
10. Cédric Fournet. The Join-Calculus: a Calculus for Distributed Mobile Programming. PhD thesis, Ecole Polytechnique, Palaiseau, November 1998.
11. Cédric Fournet and Georges Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proceedings of POPL '96, pages 372-385. ACM, January 1996.
12. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In Ugo Montanari and Vladimiro Sassone, editors, Proceedings of the 7th International Conference on Concurrency Theory, volume 1119 of Lecture Notes in Computer Science, pages 406-421. Springer-Verlag, August 1996.
13. Cédric Fournet, Cosimo Laneve, Luc Maranget, and Didier Rémy. Implicit typing à la ML for the join-calculus. In Antoni Mazurkiewicz and Jòzef Winkowski, editors, Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science, pages 196-212. Springer-Verlag, July 1997.
14. Cédric Fournet and Luc Maranget. The join-calculus language (version 1.03). Source distribution and documentation available from http://join.inria.fr/, June 1997.
15. Alan O. Freier, Philip Karlton, and Paul C. Kocher. The SSL protocol: Version 3.0. Available at http://home.netscape.com/eng/ssl3/draft302.txt, November 1996.
16. Dieter Gollmann. What do we mean by entity authentication? In Proceedings of the 1996 IEEE Symposium on Security and Privacy, pages 46-54, May 1996.
17. D. Harkins and D. Carrel. RFC 2409: The Internet Key Exchange (IKE). Available at ftp://ftp.isi.edu/in-notes/rfc2409.txt, November 1998.
18. Pat Lincoln, John Mitchell, Mark Mitchell, and Andre Scedrov. A probabilistic poly-time framework for protocol analysis. In Proceedings of the Fifth ACM Conference on Computer and Communications Security, pages 112-121, November 1998.
19. Gavin Lowe. Some new attacks upon security protocols. In Proceedings of the 10th IEEE Computer Security Foundations Workshop, 1996.
20. Gavin Lowe. A hierarchy of authentication specifications. In Proceedings of the 10th IEEE Computer Security Foundations Workshop, pages 31-43, 1997.
21. Nancy Lynch. I/O automaton models and proofs of shared-key communications systems. In Proceedings of the 12th IEEE Computer Security Foundations Workshop, pages 14-29, 1999.
22. Catherine Meadows. Analysis of the Internet Key Exchange protocol using the NRL protocol analyzer. In Proceedings of the 1999 IEEE Symposium on Security and Privacy, May 1999.
23. Catherine Meadows and Paul Syverson. A formal specification of requirements for payment transactions in the SET protocol. In Proceedings of the Financial Cryptography Conference, 1998.
24. Alfred J. Menezes, Paul C. van Oorschot, and Scott A. Vanstone. Handbook of Applied Cryptography. CRC Press, 1996.
25. Robin Milner. Communication and Concurrency. Prentice Hall International, 1989.
26. Robin Milner. Functions as processes. Mathematical Structures in Computer Science, 2:119-141, 1992.
27. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100:1-40 and 41-77, September 1992.
28. J. C. Mitchell, V. Shmatikov, and U. Stern. Finite-state analysis of SSL 3.0. In 7th USENIX Security Symposium, pages 201-216, 1998.
29. Lawrence Paulson. Inductive analysis of the Internet Protocol TLS. ACM Transactions on Information and System Security, 2(3), August 1999.
30. A. W. Roscoe. Intensional Specifications of Security Protocols. In Proceedings of the 9th IEEE Computer Security Foundations Workshop, pages 28-38. IEEE Computer Society Press, 1996.
31. Davide Sangiorgi and Robin Milner. The problem of "weak bisimulation up to". In W. R. Cleaveland, editor, Proceedings of CONCUR’92, volume 630 of Lecture Notes in Computer Science, pages 32-46. Springer-Verlag, 1992.
32. David Wagner and Bruce Schneier. Analysis of the SSL 3.0 protocol. In Proceedings of the Second USENIX Workshop on Electronic Commerce Proceedings, pages 29-40, November 1996. A revised version is available at http://www.cs.berkeley.edu/~daw/me.html.
33. Tatu Ylönen. SSH-Secure login connections over the Internet. In Proceedings of the Sixth USENIX Security Symposium, pages 37-42, July 1996.
34. Tatu Ylönen. Private communication. 1999.