LTL model checking for security protocols. Armando, A., Carbone, R., & Compagna, L. Proceedings - IEEE Computer Security Foundations Symposium, 2007. ![LTL model checking for security protocols [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @ARTICLE{Armando2007385,
author={Armando, A., Carbone, R., Compagna, L.},
title={LTL model checking for security protocols},
journal={Proceedings - IEEE Computer Security Foundations Symposium},
year={2007},
pages={385-396},
doi={10.1109/CSF.2007.24},
art_number={4271662},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-35048868416&partnerID=40&md5=739a5db454103dc04c0eb513bd8a6c67},
document_type={Conference Paper},
source={Scopus},
}
Downloads: 0
{"_id":"5mWMrf8ZiNeZggp2u","bibbaseid":"armando-carbone-compagna-ltlmodelcheckingforsecurityprotocols-2007","downloads":0,"creationDate":"2016-08-26T09:24:46.662Z","title":"LTL model checking for security protocols","author_short":["Armando, A.","Carbone, R.","Compagna, L."],"year":2007,"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":["Carbone"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Compagna"],"firstnames":["L."],"suffixes":[]}],"title":"LTL model checking for security protocols","journal":"Proceedings - IEEE Computer Security Foundations Symposium","year":"2007","pages":"385-396","doi":"10.1109/CSF.2007.24","art_number":"4271662","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-35048868416&partnerID=40&md5=739a5db454103dc04c0eb513bd8a6c67","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando2007385,\nauthor={Armando, A., Carbone, R., Compagna, L.},\ntitle={LTL model checking for security protocols},\njournal={Proceedings - IEEE Computer Security Foundations Symposium},\nyear={2007},\npages={385-396},\ndoi={10.1109/CSF.2007.24},\nart_number={4271662},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-35048868416&partnerID=40&md5=739a5db454103dc04c0eb513bd8a6c67},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Carbone, R.","Compagna, L."],"key":"Armando2007385","id":"Armando2007385","bibbaseid":"armando-carbone-compagna-ltlmodelcheckingforsecurityprotocols-2007","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-35048868416&partnerID=40&md5=739a5db454103dc04c0eb513bd8a6c67"},"downloads":0},"search_terms":["ltl","model","checking","security","protocols","armando","carbone","compagna"],"keywords":["dblp"],"authorIDs":[],"dataSources":["EQov9rEvkmMf5P4ah"]}