Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant. A State-Based Model for Certificate Management Systems. In Hideki Imai, Yuliang Zheng, editors, Public Key Cryptography, Third International Workshop on Practice and Theory in Public Key Cryptography, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000, Proceedings. Volume 1751 of Lecture Notes in Computer Science, pages 75-92, Springer, 2000.