A logic of Authentication

ACM Transactions on Computer Systems (TOCS)

Volumn 8, Issue 1, 1990, Pages 18-36

  Burrows, Michael ^a   Abadi, Martin ^a   Needham, Roger ^b  

^a HEWLETT PACKARD COMPANY   (United States)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC; COMPUTER SYSTEMS, DIGITAL - DISTRIBUTED;

AUTHENTICATION PROTOCOLS; CRYPTOGRAPHIC PROTOCOLS; KEY DISTRIBUTION PROTOCOLS; LOGIC OF AUTHENTICATION;

CRYPTOGRAPHY;

EID: 0025386404     PISSN: 07342071     EISSN: 15577333     Source Type: Journal    
DOI: 10.1145/77648.77649     Document Type: Article

References (19)

1. BAUER, R. K., BERSON, T. A., AND FEIERTAG, R. J. A key distribution protocol using event markers. ACM Trans. Comput. Syst. 1, 3 (Aug. 1983), 249-255.
2. BURROWS, M., ABADI, M., AND NEEDHAM, R. M. Authentication: A practical study in belief and action. In Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge (Asilomar, Ca., Feb. 1988) M. Vardi, Ed. Morgan Kaufmann, Los Altos, Calif., 1988, pp. 325-342.
3. BURROWS, M., ABADI, M., AND NEEDHAM, R. M. A logic of authentication. Rep. 39, Digital Equipment Corporation Systems Research Center, Palo Alto, Calif., Feb. 1989.
4. CCITT. CCITT draft recommendation X.509. The directory-authentication framework, version 7. CCITT, Gloucester, Nov. 1987.
5. DEMILLO, R. A., LYNCH, N. A., AND MERRITT, M. J. Cryptographic protocols. In Proceedings of the 14th ACM Symposium on the Theory of Computing (San Francisco, May 1982), ACM, New York, 1982, pp. 383-400.
6. DENNING, D. E., AND SACCO, G. M. Timestamps in key distribution protocols. Commun. ACM 24, 8 (Aug. 1981), 533-536.
7. DOLEV, D., AND YAO, A. C. On the security of public key protocols. IEEE Trans. Inf. Theory IT-29, 2 (Mar. 1983), 198-208.
8. HALPERN, J. Y., AND MOSES, Y. O. Knowledge and common knowledge in a distributed environment. In Proceedings of the 3rd ACM Conference on the Principles of Distributed Computing (Vancouver, British Columbia, Aug. 1984), ACM, New York, 1984, pp. 480-490.
9. HALPERN, J. Y., MOSES, Y. O., AND TUTTLE, M. R. A knowledge-based analysis of zero knowledge (preliminary report). In Proceedings of the 20th ACM Symposium on Theory of Computing (Chicago, Ill., May 1988), ACM, New York, 1988, pp. 132-147.
10. HOARE, C. A. R. An axiomatic basis for computer programming. Commun. ACM 12, 10 (Oct. 1969), 576-580.
11. MERRITT, M. J., AND WOLPER, P. L. States of knowledge in cryptographic protocols. Draft.
12. MILLEN, J. K., CLARK, S. C., AND FREEDMAN, S. B. The interrogator: Protocol security analysis. IEEE Trans. Softw. Eng. SE-13, 2 (Feb. 1987), 274-288.
13. MILLER, S. P., NEUMAN, C., SCHILLER, J. I., AND SALTZER, J. H. Kerberos authentication and authorization system. In Project Athena Technical Plan, Sect. E.2.1. MIT, Cambridge, Mass., July 1987.
14. National Bureau of Standards. Data encryption standard. Fed. Inf. Process. Stand. Publ. 46. National Bureau of Standards, Washington, D.C., Jan. 1977.
15. NEEDHAM, R. M., AND SCHROEDER, M. D. Using encryption for authentication in large networks of computers. Commun. ACM 21, 12 (Dec. 1978), 993-999.
16. OTWAY, D., AND REES, O. Efficient and timely mutual authentication. Oper. Syst. Rev. 21, 1 (Jan. 1987), 8-10.
17. RIVEST, R. L., SHAMIR, A., AND ADLEMAN, L. A method for obtaining digital signatures and public-key cryptosystems. Commun. ACM 21, 2 (Feb. 1978), 120-126.
18. SATYANARAYANAN, M. Integrating security in a large distributed system. ACM Trans. Comput. Syst. 7, 3 (Aug. 1989), 247-280.
19. VOYDOCK, V. L., AND KENT, S. T. Security mechanisms in high-level network protocols. ACM Comput. Surv. 15, 2 (June 1983), 135-171.