{"_id":"zcWcZ7o48n3RR2WFv","bibbaseid":"nogueira-ayalarincn-do-demoura-formalizationofsecurityproofsusingpvsinthedolevyaomodel-2010","authorIDs":[],"author_short":["Nogueira, R. B","Ayala-rincón, M.","Do, A. C","De Moura, F. L."],"bibdata":{"bibtype":"article","type":"article","title":"Formalization of security proofs using PVS in the Dolev-Yao model","author":[{"propositions":[],"lastnames":["Nogueira"],"firstnames":["Rodrigo","B"],"suffixes":[]},{"propositions":[],"lastnames":["Ayala-rincón"],"firstnames":["Mauricio"],"suffixes":[]},{"propositions":[],"lastnames":["Do"],"firstnames":["Anderson","C"],"suffixes":[]},{"propositions":[],"lastnames":["De","Moura"],"firstnames":["Flávio","LC"],"suffixes":[]}],"year":"2010","note":"Publisher: Citeseer","bibtex":"@article{nogueira_formalization_2010,\n\ttitle = {Formalization of security proofs using {PVS} in the {Dolev}-{Yao} model},\n\tauthor = {Nogueira, Rodrigo B and Ayala-rincón, Mauricio and Do, Anderson C and De Moura, Flávio LC},\n\tyear = {2010},\n\tnote = {Publisher: Citeseer}\n}\n\n","author_short":["Nogueira, R. B","Ayala-rincón, M.","Do, A. C","De Moura, F. L."],"key":"nogueira_formalization_2010","id":"nogueira_formalization_2010","bibbaseid":"nogueira-ayalarincn-do-demoura-formalizationofsecurityproofsusingpvsinthedolevyaomodel-2010","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/andclay","creationDate":"2020-08-05T19:52:37.193Z","downloads":0,"keywords":[],"search_terms":["formalization","security","proofs","using","pvs","dolev","yao","model","nogueira","ayala-rincón","do","de moura"],"title":"Formalization of security proofs using PVS in the Dolev-Yao model","year":2010,"dataSources":["3FiyTEbY4iwsrWtFm"]}