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}
}
