Injective synchronisation: An extension of the authentication hierarchy

Theoretical Computer Science

Volumn 367, Issue 1-2, 2006, Pages 139-161

  Cremers, C J F ^a   Mauw, S ^a   de Vink, E P ^a,b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b LEIDEN UNIVERSITY   (Netherlands)

Author keywords

Agreement; Authentication; Injectivity; Security protocols

Indexed keywords

MATHEMATICAL MODELS; NETWORK PROTOCOLS; SECURITY OF DATA; SYNCHRONIZATION; SYNTACTICS;

AUTHENTICATION; INJECTIVITY; PROTOCOL DESCRIPTION; SECURITY PROTOCOLS; SYNCHRONISING PROTOCOL;

HIERARCHICAL SYSTEMS;

EID: 33750487822     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.08.034     Document Type: Article

References (31)

1. Abadi M., and Gordon A.D. A calculus for cryptographic protocols: the spi calculus. Inform. and Comput. 148 1 (1999) 1-70
2. Adi K., Debbabi M., and Mejri M. A new logic for electronic commerce protocols. Theoret. Comput. Sci. 291 (2003) 223-283
3. A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, L. Cuellar, P.H. Drielsma, P. Heám, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, L. Vigneron, The AVISPA tool for the automated validation of internet security protocols and applications. in: Proc. of CAV'2005, Lecture Notes in Computer Science, Vol. 3576, Springer, Berlin, 2005, pp. 281-285
4. C. Boyd. Towards extensional goals in authentication protocols, in: Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997.
5. Burrows M., Abadi M., and Needham R.M. A logic of authentication. ACM Trans. Comput. Systems 8 (1990) 16-36
6. C.J.F. Cremers, Scyther documentation, 2004 〈 http://www.win.tue.nl/~ccremers/scyther〉.
7. C.J.F. Cremers, S. Mauw, Operational semantics of security protocols, in: S. Leue, T. Systä (Eds.), Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 3466, Springer, Berlin, 2005.
8. Diffie W., van Oorschot P.C., and Wiener M.J. Authentication and authenticated key-exchanges. Des. Codes Cryptogr. 2 (1992) 107-125
9. FET Open Project IST-2001-39252. AVISPA: Automated validation of internet security protocols and applications, 2003, 〈http://www.avispa-project.org/〉.
10. Focardi R., Gorrieri R., and Martinelli F. A comparison of three authentication properties. Theoret. Comput. Sci. 291 3 (2003) 285-327
11. R. Focardi, F. Martinelli, A uniform approach for the definition of security properties, in: World Congr. on Formal Methods, Vol. 1, 1999, pp. 794-813.
12. T. Genet, F. Klay, Rewriting for cryptographic protocol verification, in: Conf. on Automated Deduction, Lecture Notes on Artificial Intelligence, Vol. 1831, 2000, pp. 271-290.
13. D. Gollmann, What do we mean by entity authentication, in Proc. Symp. on Research in Security and Privacy, IEEE, New York, 1996, pp. 46-54.
14. L. Gong, Variations on the themes of message freshness and replay-or the difficulty of devising formal methods to analyze cryptographic protocols, in: Proc. Computer Security Foundations Workshop VI, IEEE Computer Society Press, Silver Spring, MD, 1993, pp. 131-136.
15. Guttman J.D., and Thayer F.J. Authentication tests and the structure of bundles. Theoret. Comput. Sci. 283 2 (2002) 333-380
16. International Organization for Standardization, Information technology-security techniques-entity authentication-Part 1: General model, ISO/IEC 9798-1, September 1991.
17. ITU-TS, Recommendation Z.120: Message Sequence Chart (MSC), ITU-TS, Geneva, 1999.
18. A. Jeffrey, A. Gordon, Typing one-to-one and one-to-many correspondences in security protocols. in: M. Okada, B.C. Pierce, A. Scedrov, H. Tokuda, A. Yonezawa (Eds.), Proc. of ISSS '02, Lecture Notes in Computer Science, Vol. 2514, 2002, pp. 418-434.
19. S.T. Kent, Encryption-based protection for interactive user/computer communication, in: SIGCOMM'77 Proc. Fifth Symposium on Data Communications, NY, USA, 1977, ACM Press, New York, pp. 5.7-5.13.
20. G. Lowe, Breaking and fixing the Needham-Schroeder public-key protocol using FDR, in: T. Margaria, B. Steffen (Eds.), Proc. of TACAS '96, Lecture Notes in Computer Science, Vol. 1055, 1996, pp. 147-166.
21. G. Lowe, Casper: a compiler for the analysis of security protocols, in: Proc. of CSFW '97, Rockport, IEEE, New York, 1997, pp. 18-30.
22. G. Lowe, A hierarchy of authentication specifications, in: Proc. of CSFW '97, Rockport, IEEE, New York, 1997, pp. 31-44.
23. Malladi S., Alves-Foss J., and Heckendorn R. On preventing replay attacks on security protocols. Proc. Internat. Conf. on Security and Management (2002), CSREA Press 77-83
24. Mitchell C.J., and Chen L. Comments on the s/key user authentication scheme. SIGOPS Oper. Systems Rev. 30 4 (1996) 12-16
25. Needham R., and Schroeder M. Using encryption for authentication in large networks of computers. Commun. ACM 21 (1978) 120-126
26. Popek G.J., and Kline C.S. Encryption and secure computer networks. ACM Comput. Survey 11 4 (1979) 331-356
27. A.W. Roscoe, Intensional Specifications of Security Protocols, in: Proc. of CSFW '96, IEEE, New York, 1996, pp. 28-38.
28. Ryan P., Schneider S., Goldsmith M., Lowe G., and Roscoe B. Modelling and Analysis of Security Protocols (2000), Addison Wesley, Reading, MA
29. Security protocols open repository, 〈http://www.lsv.ens-cachan.fr/spore〉.
30. D. Song, Athena: a new efficient automatic checker for security protocol analysis, in: Proc. CSFW '99, Mordano, IEEE, New York, 1999, p. 192.
31. F.J. Thayer, J.C. Herzog, J.D. Guttman, Strand spaces: why is a security protocol correct, in: Proc. Symp. on Security and Privacy, Oakland, IEEE, New York, 1998, pp. 160-171.