The PKI specification dilemma: A formal solution

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

Volumn 1841, Issue , 2000, Pages 206-219

  Ozols, Maris A ^a   Henderson, Marie ^a   Liu, Chuchang ^a   Cant, Tony ^a  

^a DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

PUBLIC KEY CRYPTOGRAPHY; SECURITY OF DATA;

FORMAL DESCRIPTION; FORMAL SOLUTION; PUBLIC-KEY INFRASTRUCTURE; X.509 CERTIFICATES;

SPECIFICATIONS;

EID: 84958763157     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10718964_17     Document Type: Conference Paper

References (20)

1. M. Burrows, M. Abadi, and R. M. Needham. A logic of authentication. In Proceedings of the Royal Society of London 426, pages 233-271, 1989.
2. Cryptlib. [Online], Technical Contact: Peter Gutmann.
3. DR 222. Defect Report Number DR 222: Certificate Policy Mapping. Available from ftp://ftp.bull.com/pub/OSIdirectory/DefectResolution/DefectReports/X.5 09/, June 1999.
4. W. Ford and M. Baum. Secure Electronic Commerce: Building the Infrastructure for Digital Signatures and Encryption. Prentice-Hall, 1997.
5. M. J. C. Gordon and T. F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, 1993.
6. R. Housley, W. Ford, W. Polk, and D. Solo. RCF 2459, Internet X.509 Public Key Infrastructure - Part I: Certificate and CRL Profile. Internet Request for Comments 2459, January 1999.
7. C. Liu, M. A. Ozols, M. Henderson, and T. Cant. A state-based model for certificate management systems. In Proceedings of the 3rd International Workshop on Practice and Theory in Public Key Cryptosystems (PKC 2000), volume 1751 of Lecture Notes in Computer Science, pages 75-92. Springer, 2000.
8. C. Liu, M. A. Ozols, M. Henderson, and T. Cant. Towards certificate verification in a certificate management system. In Jenny Edwards, editor, Proceedings of the 23rd Australasian Computer Science Conference, ACSC2000, pages 150-157, Canberra, Australia, 31 January-3February 2000. IEEE Computer Society.
9. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocols using CSP and FDR. In T. Margaria and B. Steffen, editors, Tool and Algorithms for the Construction and Analysis of Systems. Second International Workshop, TA-CAS'96, LNCS 1055, pages 147-166. Springer, 1996.
10. Ueli Maurer. Modeling a public-key infrastructure. In E. Bertino, H. Knurth, G. Martella, and E. Montolivo, editors, Computer Security - ESORICS'96 (LNCS 1146). Springer-Verlag, 1996.
11. J. Mulvenna, L. Keys, D. Walters, S. Ganta, and S. Gupta. Characteristics and attributes that affect S/MIME product interoperability. Draft available from http://csrc.nist.gov/pki/smime/welcome.htm.
12. NIST. Digital Signature Standard (DSS). Federal Information Processing Standards Publication 186, November 1994.
13. L. C. Paulson. ML for Working Programmer. 2nd edition, Cambridge University Press, 1996.
14. L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1-2):85-128, 1998.
15. Lawrence C. Paulson. The Isabelle Reference Manual. University of Cambridge, Computer Laboratory, available from http://www.in.tum.de/ isabelle/dist.
16. M. K. Reiter and S. G. Stubblebine. Path independence for authentication inlarge-scale systems. In Proceedings of the 4th ACM Conference on Computer and Communication Security, pages 57-66, April 1997.
17. M. K. Reiter and S. G. Stubblebine. Toward acceptable metrics of authentication. In Proceedings of the IEEE Symposium on Security and Privacy, May 1997.
18. A. W. Roscoe. Modelling and verifying key-exchange protocols using csp and fdr. In 8th Computer Security Foundation Workshop, pages 98-107. IEEE Computer Society Press, 1995.
19. B. Schneier. Applied Cryptography. 2nd edition, John Wiley & Sons, Inc., 1996.
20. X.509. Information Technology - Open systems Interconnection - The Directory: Authentication Framework. ITU-T Recommendation X.509, June 1997.