SAT-based model-checking for security protocols analysis. Armando, A. & Compagna, L. International Journal of Information Security, 7(1):3-32, 2008. ![SAT-based model-checking for security protocols analysis [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @ARTICLE{Armando20083,
author={Armando, A., Compagna, L.},
title={SAT-based model-checking for security protocols analysis},
journal={International Journal of Information Security},
year={2008},
volume={7},
number={1},
pages={3-32},
doi={10.1007/s10207-007-0041-y},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-38149132464&partnerID=40&md5=12fe2693d6ed59a4772c6385e148fc88},
document_type={Conference Paper},
source={Scopus},
}
Downloads: 0
{"_id":"L5Ceo7TCrGxj9DiNv","bibbaseid":"armando-compagna-satbasedmodelcheckingforsecurityprotocolsanalysis-2008","downloads":0,"creationDate":"2016-08-26T09:24:47.380Z","title":"SAT-based model-checking for security protocols analysis","author_short":["Armando, A.","Compagna, L."],"year":2008,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Compagna"],"firstnames":["L."],"suffixes":[]}],"title":"SAT-based model-checking for security protocols analysis","journal":"International Journal of Information Security","year":"2008","volume":"7","number":"1","pages":"3-32","doi":"10.1007/s10207-007-0041-y","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-38149132464&partnerID=40&md5=12fe2693d6ed59a4772c6385e148fc88","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando20083,\nauthor={Armando, A., Compagna, L.},\ntitle={SAT-based model-checking for security protocols analysis},\njournal={International Journal of Information Security},\nyear={2008},\nvolume={7},\nnumber={1},\npages={3-32},\ndoi={10.1007/s10207-007-0041-y},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-38149132464&partnerID=40&md5=12fe2693d6ed59a4772c6385e148fc88},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Compagna, L."],"key":"Armando20083","id":"Armando20083","bibbaseid":"armando-compagna-satbasedmodelcheckingforsecurityprotocolsanalysis-2008","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-38149132464&partnerID=40&md5=12fe2693d6ed59a4772c6385e148fc88"},"downloads":0},"search_terms":["sat","based","model","checking","security","protocols","analysis","armando","compagna"],"keywords":["dblp"],"authorIDs":[],"dataSources":["EQov9rEvkmMf5P4ah"]}