David A. Basin, Sebastian Mödersheim, Luca Viganò. An On-the-Fly Model-Checker for Security Protocol Analysis. In Einar Snekkenes, Dieter Gollmann, editors, Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003, Proceedings. Volume 2808 of Lecture Notes in Computer Science, pages 253-270, Springer, 2003. [doi]
@inproceedings{BasinMV03:0,
title = {An On-the-Fly Model-Checker for Security Protocol Analysis},
author = {David A. Basin and Sebastian Mödersheim and Luca Viganò},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2808&spage=253},
tags = {protocol, analysis, security},
researchr = {https://researchr.org/publication/BasinMV03%3A0},
cites = {0},
citedby = {0},
pages = {253-270},
booktitle = {Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003, Proceedings},
editor = {Einar Snekkenes and Dieter Gollmann},
volume = {2808},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20300-1},
}