%0 Conference Paper %1 conf/acisp/OzolsHLC00 %A Ozols, Maris A. %A Henderson, Marie %A Liu, Chuchang %A Cant, Anthony %B ACISP %D 2000 %E Dawson, Ed %E Clark, Andrew J. %E Boyd, Colin %I Springer %K dblp %P 206-219 %T The PKI Specification Dilemma: A Formal Solution. %U http://dblp.uni-trier.de/db/conf/acisp/acisp2000.html#OzolsHLC00 %V 1841 %@ 3-540-67742-9

@inproceedings{conf/acisp/OzolsHLC00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Ozols, Maris A. and Henderson, Marie and Liu, Chuchang and Cant, Anthony}, biburl = {https://www.bibsonomy.org/bibtex/2d16684c4f2058f20bc338976d558cc25/dblp}, booktitle = {ACISP}, crossref = {conf/acisp/2000}, editor = {Dawson, Ed and Clark, Andrew J. and Boyd, Colin}, ee = {https://doi.org/10.1007/10718964_17}, interhash = {59666cac135ccdb400ea446f02c6a6ff}, intrahash = {d16684c4f2058f20bc338976d558cc25}, isbn = {3-540-67742-9}, keywords = {dblp}, pages = {206-219}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:28:50.000+0200}, title = {The PKI Specification Dilemma: A Formal Solution.}, url = {http://dblp.uni-trier.de/db/conf/acisp/acisp2000.html#OzolsHLC00}, volume = 1841, year = 2000 }