Security of public key certificate based authentication protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1751, Issue , 2000, Pages 196-209

  Wen, Wu ^a   Saito, Takamichi ^a   Mizoguchi, Fumio ^a  

^a TOKYO UNIVERSITY OF SCIENCE   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHENTICATION; CHROMIUM COMPOUNDS; MODEL CHECKING;

AUTHENTICATION PROTOCOLS; CERTIFICATE-BASED; PUBLIC KEY CERTIFICATES; SECURITY OF AUTHENTICATION; TLS PROTOCOLS;

PUBLIC KEY CRYPTOGRAPHY;

EID: 22844457244     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-46588-1_14     Document Type: Conference Paper

References (15)

1. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. Technical Report 39, DEC Systems Research Center, February 1989.
2. T. Dierks and C. Allen. The tls protocl: Version 1.0. Technical Report drat-ietftls- rptocol-05.txt.Z, IETF task force, May 1998.
3. W. Diffie and M. Hellman. New directions in cryptography. IEEE Transactions on Information Theory, 22(6):644–654, November 1976.
4. Walter D. Eaves. Transport level security: a proof using the gny logic. Technical report, Brunel University, UK, February 1989.
5. C. Ellison. Can we eliminate crl? Technical report, extended abstract, November 1997.
6. C. Ellison and et al. Spki certificate theory, internet draft. Technical report, IETF SPKI Working Group, November 1997.
7. L. Kohnfelder. Towards a practical public-key cryptosystem. Technical report, MIT, 1978.
8. G. Lowe. Breaking and fixing the needham-schroeder public key protocol using csp and fdr. In TACAS96, 1996.
9. J. Mitchell, M. Mitchell, and U. Stern. Automated analysis of cryptographic protocols using murphi. In IEEE Symposium on security and privacy, pages 141–151, 1997.
10. D. Nessett. A critique of the burrows, abadi and needham logic. ACM Operating Systems Review, 24(2):35–38, April 1990.
11. L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85–128, 1998.
12. A. W. Roscoe. The perfect’spy’ for model-checking crypto protocols. In DIMACS Workshop on Design and Formal Verification of Security Protocols, Piscataway, NJ, September 1997.
13. T. Saito, W. Wen, and F. Mizoguchi. Analysis of authentication protocol by parameterized ban logic. Technical report, ISEC, July 1999.
14. W. Wen and F. Mizoguchi. Model checking security protocols. In Symposium on Cryptography and Information Security, pages 647–652, Kobe, Japan, January 28–29, 1999.
15. W. Wen, T. Saito, and F. Mizoguchi. New results of model checking needhamschroeder protocol. In proceedings of 1999 Computer Security Symposium, pages 69–74, Kanazawa, Japan, October 21–22, 1999.