Chuchang Liu, Anthony Cant, Maris A. Ozols, Marie Henderson. Formalizing certificate management systems. In Proceedings of the IEEE International Conference on Networks 1999, ICON 1999, Brisbane, Queensland, Australia, September 28 - October 1, 1999. pages 340-348, IEEE, 1999. [doi]