The PKI Specification Dilemma: A Formal Solution

• Authors:

• Maris A. Ozols;Marie Henderson;Chuchang Liu;Anthony Cant

• Affiliations:

• -;-;-;-

• Venue:
• ACISP '00 Proceedings of the 5th Australasian Conference on Information Security and Privacy
• Year:
• 2000