Extending NCP for protocols using public keys

Mobile Networks and Applications

Volumn 2, Issue 3, 1997, Pages 227-241

  Rubin, Aviel D ^a,b,c,d  

^a AT AND T LABS RESEARCH   (United States)

^b AT AND T LABS RESEARCH   (United States)

^c NEW YORK UNIVERSITY   (United States)

^d UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CRYPTOGRAPHY; MOBILE TELECOMMUNICATION SYSTEMS; SECURITY OF DATA; TELECOMMUNICATION LINKS;

ASYMMETRIC KEYS; CRYPTOGRAPHIC ALGORITHMS; PUBLIC KEY CRYPTOGRAPHY;

NETWORK PROTOCOLS;

EID: 0031386327     PISSN: 1383469X     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1013636817876     Document Type: Article

References (12)

1. M. Abadi and R. Needham, Prudent engineering practice for cryptographic protocols, in: Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy (1994) pp. 122-136.
2. M. Burrows, M. Abadi and R. Needham, A logic of authentication, ACM Transactions on Computer Systems 8 (February 1990).
3. D.E. Denning and G.M. Sacco, Timestamps in key distribution protocols, Communications of the ACM 24(8) (August 1981) 533-536.
4. W. Diffie and M.E. Hellman, New directions in cryptography, IEEE Transactions on Information Theory 22(6) (1976).
5. L. Gong, R. Needham and R. Yahalom, Reasoning about belief in cryptographic protocols, in: Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy (May 1990) pp. 234-248.
6. W. Mao and C. Boyd, Towards formal analysis of security protocols, in: Proceedings of the Computer Security Foundation Workshop VI, (June 1993) pp. 147-158.
7. R.M. Needham and M.D. Schroeder, Using encryption for authentication in large networks of computers, Communications of the ACM 21(12) (December 1978) 993-999.
8. D.M. Nessett, A critique of the Burrows, Abadi and Needham logic, Operating System Review 24(2) (April 1990) 35-38.
9. A.D. Rubin and P. Honeyman, Long running jobs in an authenticated environment, in: Proc. USENIX Security Conference IV (October 1993) pp. 19-28.
10. A.D. Rubin and P. Honeyman, Nonmonotonic cryptographic protocols, in: Proceedings of the Computer Security Foundation Workshop VII (June 1994) pp. 100-116.
11. P. Syverson and C. Meadows, A logical language for specifying cryptographic protocol requirements, in: Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy (May 1993) pp. 165-177.
12. T.Y.C. Woo and S.S. Lam, A semantic model for authentication protocols, in: Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy (May 1993) pp. 178-194.