Short Presentation: The Dolev-Yaho Intruder is the Most Powerful Attacker (at LICS 2001)
Authors: Steven Lindell Iliano Cervesato
Abstract
No Abstract Available
BibTeX
@InProceedings{LindellCervesato-TheDolevYahoIntrude, author = {Steven Lindell and Iliano Cervesato}, title = {The Dolev-Yaho Intruder is the Most Powerful Attacker}, booktitle = {Proceedings of the Sixteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2001)}, year = {2001}, month = {June}, location = {Boston, MA, USA}, note = {Short Presentation}, publisher = {IEEE Computer Society Press} }