@inproceedings{1270664,
 author = {Alessandro Armando and Roberto Carbone and Luca Compagna},
 title = {LTL Model Checking for Security Protocols},
 booktitle = {CSF '07: Proceedings of the 20th IEEE Computer Security Foundations Symposium},
 year = {2007},
 isbn = {0-7695-2819-8},
 pages = {385--396},
 doi = {http://dx.doi.org/10.1109/CSF.2007.24},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }