Formalizing certificate management systems

IEEE International Conference on Networks, ICON

Volumn , Issue , 1999, Pages 340-348

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

^a DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

Author keywords

CA (Certificate Authority); certificate; certificate management systems; formal methods; information security

Indexed keywords

CERTIFICATE; CERTIFICATE AUTHORITY; CERTIFICATE MANAGEMENT; DYNAMIC CHANGES; FORMAL SPECIFICATION; IN NETWORKS; SECURITY APPLICATION;

FORMAL METHODS; MATHEMATICAL MODELS; SECURITY OF DATA;

INFORMATION MANAGEMENT;

EID: 84890450560     PISSN: 15566463     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICON.1999.796196     Document Type: Conference Paper

References (12)

1. C. C. E. Board. CCEB CMI Authentication Framework. Draft version 0.6, March 1999.
2. A. Cant, K. A. Eastaughffe, and M. A. Ozols. A tool for practical reasoning about state machine designs. In Proceedings of 1996 Australian Software Engineering Conference, pages 16-26. IEEE Computer Society Press, 1996.
3. D. Davis. Compliance defects in public-key cryptography. In Proceedings of Sixth Annual USENIX Security Symposium: Focusing on Applications of Cryptography, pages 171-178, July 22 -25, 1996.
4. K. A. Eastaughffe, M. A. Ozols, and A. Cant. Proof tactics for a theory of state machines in a graphical environment. In Proceedings of the 14th International Conference on Automated Deduction (CADE-14), Lecture Notes in Artificial Intellegince, pages 366-379. Springer-Verlag, 1997.
5. J. M. Galvin. Public key distribution with secure dns. In Proceedings of Sixth Annual USENIX Security Symposium: Focusing on Applications of Cryptography, pages 161-170, July 22 -25, 1996.
6. N. Kapidzic. Creating security applications based on the global certificate management system. Computers & Security, 17:507-515, 1998.
7. N. Kapidzic and A. Davidson. A certificate management system: Structure, functions and protocols. In Internet Society Symposium on Network and Distributed system Security, Feb. 1995.
8. L. C. Paulson, editor. ML for Working Programmer. Cambridge University Press, 1991.
9. L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1-2):85-128, 1998.
10. D. Trcek. Organization of certification authorities in a global network. Computer Security Journal, 10(1):72-81, 1994.
11. T. Y. C. Woo and S. S. Lam. Authorization in distributed systems: A new approach. Journal of Computer Security, pages 107-136, 2(1993).
12. J. Yesberg, M. Ozols, and K. A. Eastaughffe. Interactive link formal policy and architecture version 2.0. Technical report, Trusted Computer Section, Information Technology Division, Defence Science and Technology Organisation, PO Box 1500, Salisbury, SA 5107, Australia, 1998.