Alessandro Armando, Luca Compagna. SAT-based model-checking for security protocols analysis. Int. J. Inf. Sec., 7(1):3-32, 2008. [doi]
@article{ArmandoC08,
title = {SAT-based model-checking for security protocols analysis},
author = {Alessandro Armando and Luca Compagna},
year = {2008},
doi = {10.1007/s10207-007-0041-y},
url = {http://dx.doi.org/10.1007/s10207-007-0041-y},
tags = {rule-based, model checking, meta-model, protocol, analysis, security, Meta-Environment},
researchr = {https://researchr.org/publication/ArmandoC08},
cites = {0},
citedby = {0},
journal = {Int. J. Inf. Sec.},
volume = {7},
number = {1},
pages = {3-32},
}