A formal semantics for protocol narrations

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

Volumn 3705 LNCS, Issue , 2005, Pages 163-181

  Briais, Sébastien ^a   Nestmann, Uwe ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; INFORMATION DISSEMINATION; NETWORK PROTOCOLS; TRANSLATION (LANGUAGES);

INTERPRETATION; PROTOCOL DESCRIPTIONS; PROTOCOL NARRATIONS;

SEMANTICS;

EID: 33646198427     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11580850_10     Document Type: Conference Paper

References (17)

1. [Aba00] M. Abadi. Security Protocols and their Properties. In Foundations of Secure Computation, pages 39-60. NATO ASI, IOS Press, 2000.
2. [AG99] M. Abadi and A. D. Gordon. A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation, 148(1):1-70, 1999.
3. +03] C. Bodei, M. Buchholtz, P. Degano, F. Nielson and H. Nielson, Automatic validation of protocol narration. In Proceedings of 16th IEEE Computer Security Foundations Workshop (CSFW 16), pages 126-140, 2003.
4. [BBN04] J. Borgström, S. Briais and U. Nestmann. Symbolic Bisimulation in the Spi Calculus. In Proceedings of CONCUR 2004, volume 3170 of LNCS, pages 161-176. Springer, Sept. 2004.
5. [Bla03] B. Blanchet. Automatic Verification of Cryptographic Protocols: A Logic Programming Approach, In Proceedings of Principles and Practice of Declarative Programming (PPDF'03). ACM, 2003.
6. [BMV03] D. Basin, S. Mödersheim and L. Viganò. An On-The-Fly Model-Checker for Security Protocol Analysis. In Proceedings of ESORICS'03, LNCS 2808, pages 253-270. Springer-Verlag, Heidelberg, 2003.
7. [Bri04] S. Briais. Formal proofs about hedges using the Coq proof assistant, 2004. http://lamp.epf1.ch/~{}sbriais/spi/hedges/hedge.html.
8. [CJ97] J. A. Clark and J. L. Jacob. A survey of authentication protocol literature. Technical Report 1.0, University of York, 1997.
9. [CM05] C. Cremers and S. Mauw. Operational Semantics of Security Protocols. In Scenarios: Models, Algorithms and Tools (Dagstuhl 03371 Post-Seminar Proceedings), volume 3466 of LNCS, 2005.
10. [DY83] D. Dolev and A. C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, IT-29(12):198-208, Mar. 1983.
11. [Gen03] C. Gensoul. Spyer - un compilateur de protocoles cryptographiques. Semester Project Report, EPFL, July 2003.
12. [JRV00] F. Jacquemard, M. Rusinowitch and L. Vigneron. Compiling and Verifying Security Protocols. In Logic for Programming and Automated Reasoning, volume 1955 of LNCS, pages 131-160. Springer-Verlag, November 2000.
13. [Low98] G. Lowe. Casper: A Compiler for the Analysis of Security Protocols. Journal of Computer Security, 6:53-84, 1998.
14. [Mil] J. K. Milleri. CAPSL: Common Authentication Protocol Specification Language, http://www.csl.sri.com/users/millen/capsl/.
15. [MvOV96] A. J. Menezes, P. C. van Oorschot and S. A. Vanstone. Handbook of Applied Cryptography. CRC Press, 1996.
16. [Pau98] L. C. Paulson. The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security, 6(1-2):85-128, 1998.
17. [STY05] E. Sumii, H. Tatsuzawa and A. Yonezawa. Translating Security Protocols from Informal Notation into Spi Calculus. IPSJ Transactions on Programming, 45, 2005. Written in Japanese, abstract in English. To appear.