On different approaches to establish the security of cryptographic protocols

Proceedings of the International Conference on Security and Management

Volumn 2, Issue , 2003, Pages 637-643

  Coffey, Tom ^a   Dojen, Reiner ^a   Flanagan, Tomas ^a  

^a UNIVERSITY OF LIMERICK   (Ireland)

Author keywords

Authentication; Mobile security; Protocol verification; Security protocols; Verification logics

Indexed keywords

ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; LOGIC DESIGN; MOBILE COMPUTING; MOBILE TELECOMMUNICATION SYSTEMS; NETWORK PROTOCOLS; SECURITY OF DATA; WIRELESS TELECOMMUNICATION SYSTEMS;

CRYPTOGRAPHIC PROTOCOLS; MOBILE SECURITY; PROTOCOL VERIFICATION; VERIFICATION LOGICS;

CRYPTOGRAPHY;

EID: 1642319729     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Aydos, M., Sunar, B., and Koc, C. K., "An elliptic curve cryptography based authentication and key agreement protocol for wireless communication." 2nd International Workshop on Discrete Algorithms and Methods for Mobility (DIAL M 98), Dallas, USA, October 1998
2. Horn, G. and Preneel, H., "Authentication and payment in future mobile systems", Journal of Computer Security, Vol. 8, No 2/3, 2000, pp.183-207
3. Wong, D.S. and Chan, A. H. "Efficient and Mutually Authenticated Key Exchange for Low Power Computing Devices." ASIACRYPT 2001, Gold Coast, Australia, December 2001
4. Park, C.S., "On Certificate Based Security Protocols for Wireless Communication Systems." IEEE Network, Vol. 11, No. 5, 1997, pp. 50-55
5. Yi, X., Okamoto, E. and Lam, K. Y., "An Optimised Protocol for Mobile Network Authentication and Security." Mobile Computing and Communications Review, Vol.2, No.3, 1998, pp. 37-39
6. Horn, G., Martin, K. and Mitchell, C., "Authentication Protocols for Mobile Network Environment Value-added Services", IEEE Transactions on Vehicular Technology, Vol. 51, No. 2, 2002, pp. 383-392
7. Martin, K.M. and Mitchell, C.J., "Comments on an optimized protocol for mobile network authentication and security", ACM Mobile Computing and Communications Review, Vol. 3, No. 2, 1999, p. 37
8. Boyd, C and Park, D.-G "Public-Key Protocols for Wireless Communications." International Conference on Information Security and Cryptology, ICISC '98 Seoul, Korea, 1998
9. West, C. H., "General Techniques for Communications Protocol Validation." IBM Journal of Research and Development, Vol. 22, No. 4, 1978, pp. 393-404
10. Paulson, L. C., "The Inductive Approach to Verifying Cryptographic Protocols", Journal of Computer Security, Vol. 6, 1998, pp. 85-128
11. Kemmerer, R.A. "Analyzing Encryption Protocols using Formal Verification Techniques." IEEE Journal on Selected Areas in Communications, Vol. 7, No. 4, 1989, pp. 448-457
12. Burrows, M., Abadi, M. and Needham, R., "A logic of authentication." DEC System Research Centre Report No. 39, No. 39, February 1989
13. Gong, L., Needham, R. and Yahalom, R., "Reasoning about belief in Cryptographic Protocols". 1990 IEEE Computer Society Synopsis on Research in Security and Privacy, 1990
14. Coffey, T. and Saidha, P., "A Logic for Verifying Public Key Cryptographic Protocols." IEE Journal Proceedings-Computers and Digital Techniques, Vol. 144, No. 1, 1997, pp.28-32
15. Brackin, S., "Automatically Detecting Most Vulnerabilities in Cryptographic Protocols." DARPA Information Survivability Conference and Exposition, IEEE CS Press, Volume 1, 2000, pp.222-236
16. Lowe, G., "An Attack on the Needham Schroeder Public-Key Authentication Protocol", Information Processing Letters, Vol. 56, No. 3, 1995, pp. 131-133