Logic for verifying public-key cryptographic protocols

IEE Proceedings: Computers and Digital Techniques

Volumn 144, Issue 1, 1997, Pages 28-32

  Coffey, T ^a   Saidha, P ^b  

^a UNIVERSITY OF LIMERICK   (Ireland)

^b MOTOROLA INC   (United States)

Author keywords

Authentication; Cryptographic protocol verification; Deductive reasoning; Logic; Public key cryptography; Security protocols

Indexed keywords

CRYPTOGRAPHY; DATA COMMUNICATION SYSTEMS; FORMAL LOGIC; INFERENCE ENGINES; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; SECURITY OF DATA;

AUTHENTICATION; CRYPTOGRAPHIC PROTOCOL VERIFICATION; DEDUCTIVE REASONING; PUBLIC KEY CRYPTOGRAPHIC PROTOCOLS; SECURITY PROTOCOLS;

NETWORK PROTOCOLS;

EID: 0030672045     PISSN: 13502387     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cdt:19970838     Document Type: Article

References (15)

1. CCITT: The directory - authentication framework'. CCITT Rec. X.509, 1988
2. BURROWS, M., ABADI, M., and NEEDHAM, R.M.: 'A logic of authentication'. DEC System Research Centre Report No. 39, February 1989
3. GONG, L., NEEDHAM, R., and YAHALOM, R.: 'Reasoning about belief in cryptographic protocols'. Proceedings of the 1990 IEEE symposium on Research in security and privacy, 1990, pp. 234-248
4. GAARDER, K., and SNEKKENES, E.: 'On the formal analysis of PKCS authentication protocols'. Lect. Notes Comput. Sci., Adv. Cryptol., AUSCRYPT'90, 1990, pp. 106-121
5. KAILAR, R., and GLIGOR, V.D.: 'On belief evolution in authentication protocols'. Proceeding of the Computer Security Foundations workshop IV, 1991, pp. 103-116
6. BIEBER, P.: 'A logic of communication in a hostile environment'. Proceeding of the Computer Security Foundations workshop III, 1990, pp. 14-22
7. SYVERSON, P.: 'A logic for the analysis of cryptographic protocols'. Naval research Laboratory Formal Report 9305, December 1990
8. SYVERSON, P.: The use of logic in the analysis of cryptographic protocols'. Proceedings of the 1991 IEEE symposium on Research in security and privacy, 1991, pp. 156-170
9. HOARE, C.A.R.: 'An axiometric basis for computer programing', Commun. ACM, 1969, 12, (10), pp. 576-580, 583
10. HINTIKKA, J.: 'Knowledge and belief: an introduction to the logic of two notions' (Cornell University Press, Ithaca, 1962)
11. COFFEY, T., and SAIDHA, P.: 'Semantic definitions for a logic of knowledge and belief'. Report 67/95, Department of Electronic and Computer Engineering, University of Limerick, Ireland, 1995
12. HALPERN, J.Y., and MOSES, Y.: 'A guide to the modal logics of knowledge and belief: preliminary draft'. Proceedings of the 9th international joint conference on Artificial intelligence, 1985, pp. 480-490
13. ABADI, M., and TUTTLE, M.R.: 'A semantics for a logic of authentication'. Proceedings of the 10th annual ACM symposium on Principles of distributed computing, August 1991, pp. 201-216
14. GALTON, A.: 'Logic for information technology' (Wiley, 1990)
15. NEEDHAM, R.M., and SCHROEDER, M.D.: 'Using encryption for authentication in large networks of computers', Commun. ACM, 1978, 21, (12), pp. 993-999