The faithfulness of abstract protocol analysis: Message authentication*
Guttman, Joshua D., Thayer, F. Javier, Zuck, Lenore D., De Capitani di Vimercati, SabrinaVolume:
12
Journal:
Journal of Computer Security
DOI:
10.3233/jcs-2004-12603
Date:
November, 2004
File:
PDF, 227 KB
2004