Formalizing certificate management systems

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]

Abstract

Abstract is missing.