Maris A. Ozols, Marie Henderson, Chuchang Liu, Anthony Cant. The PKI Specification Dilemma: A Formal Solution. In Ed Dawson, Andrew Clark, Colin Boyd, editors, Information Security and Privacy, 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings. Volume 1841 of Lecture Notes in Computer Science, pages 206-219, Springer, 2000.
Abstract is missing.