Abstract
ACertifi cate Management System (CMS) is used to generate, distribute, store and verify certificates. It supports secure electronic communication through its functions. This paper presents a state-based model for certificate management systems. The axiomatization of CMS structures and the security policy followed by CMSs is discussed. The main functions of a CMS, including certificate issuing, certificate revocation and certificate rekeying, are formally described through transitions that change states of the CMS. Am ajor CMS client function, certificate verification, is also formally discussed. With this model, an approach to the formal specification of the structure and behavior of a CMS is provided. The approach is very general, and would be useful in guiding the developer and the evaluator of a CMS with the design, analysis and implementation of the system.
Author supplied keywords
Cite
CITATION STYLE
Liu, C., Ozols, M. A., Henderson, M., & Cant, T. (2000). A state-based model for certificate management systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1751, pp. 75–92). Springer Verlag. https://doi.org/10.1007/978-3-540-46588-1_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
