Alessandro Armando, Luca Compagna, Pierre Ganty
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
FM, 2003.
@inproceedings{FME-2003-ArmandoCG,
author = "Alessandro Armando and Luca Compagna and Pierre Ganty",
booktitle = "{Proceedings of the 12th International Symposium of Formal Methods Europe}",
doi = "10.1007/978-3-540-45236-2_47",
isbn = "3-540-40828-2",
pages = "875--893",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis}",
volume = 2805,
year = 2003,
}