SAT-based model-checking of security protocols using planning graph analysis. Armando, A., Compagna, L., & Ganty, P. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2805:875-893, 2003.
SAT-based model-checking of security protocols using planning graph analysis [link]Paper  bibtex   
@ARTICLE{Armando2003875,
author={Armando, A., Compagna, L., Ganty, P.},
title={SAT-based model-checking of security protocols using planning graph analysis},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2003},
volume={2805},
pages={875-893},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-35248876774&partnerID=40&md5=42087154a499458e91f9c4dad8f4419c},
document_type={Article},
source={Scopus},
}

Downloads: 0