Title :
Formalizing certificate management systems
Author :
Liu, Chuchang ; Cant, Tony ; Ozols, Maris A. ; Henderson, Marie
Author_Institution :
Div. of Inf. Technol., Defence Sci. & Technol. Organ., Salisbury, SA, Australia
fDate :
28 Sept.-1 Oct. 1999
Abstract :
Certificate management systems (CMS) are used for generating, distributing, storing and verifying certificates. They play an important role in network security applications. This paper presents a mathematical model for such systems. An approach to the formal specification of a CMS structure and its dynamic changes is described.
Keywords :
cryptography; formal specification; formal verification; telecommunication security; certificate management systems; dynamic changes; formal specification; mathematical model; network security; verification; Application software; Australia; Certification; Collision mitigation; Computer network management; Computer security; Content addressable storage; Gold; Information technology; Technology management;
Conference_Titel :
Networks, 1999. (ICON '99) Proceedings. IEEE International Conference on
Print_ISBN :
0-7695-0243-1
DOI :
10.1109/ICON.1999.796196
