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.
@inproceedings{OzolsHLC00,
title = {The PKI Specification Dilemma: A Formal Solution},
author = {Maris A. Ozols and Marie Henderson and Chuchang Liu and Anthony Cant},
year = {2000},
researchr = {https://researchr.org/publication/OzolsHLC00},
cites = {0},
citedby = {0},
pages = {206-219},
booktitle = {Information Security and Privacy, 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings},
editor = {Ed Dawson and Andrew Clark and Colin Boyd},
volume = {1841},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67742-9},
}