Alessandro Armando, Roberto Carbone, Luca Compagna. LTL Model Checking for Security Protocols. In 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy. pages 385-396, IEEE Computer Society, 2007. [doi]
@inproceedings{ArmandoCC07,
title = {LTL Model Checking for Security Protocols},
author = {Alessandro Armando and Roberto Carbone and Luca Compagna},
year = {2007},
doi = {10.1109/CSF.2007.24},
url = {http://dx.doi.org/10.1109/CSF.2007.24},
tags = {model checking, meta-model, protocol, security, Meta-Environment},
researchr = {https://researchr.org/publication/ArmandoCC07},
cites = {0},
citedby = {0},
pages = {385-396},
booktitle = {20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy},
publisher = {IEEE Computer Society},
}