DocumentCode
3203090
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
fYear
1999
fDate
28 Sept.-1 Oct. 1999
Firstpage
340
Lastpage
348
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Networks, 1999. (ICON '99) Proceedings. IEEE International Conference on
Print_ISBN
0-7695-0243-1
Type
conf
DOI
10.1109/ICON.1999.796196
Filename
796196
Link To Document