{"_id":"JNb3kZiWXPXLrfPC2","bibbaseid":"diaz-arroyo-rodriguez-aformalmethodologyforintegralsecuritydesignandverificationofnetworkprotocols-2014","downloads":0,"creationDate":"2018-10-25T15:44:53.700Z","title":"A formal methodology for integral security design and verification of network protocols","author_short":["Diaz, J.","Arroyo, D.","Rodriguez, F. B"],"year":2014,"bibtype":"article","biburl":"https://bibbase.org/network/files/7Jj8dRycAFQ8q7T9r","bibdata":{"bibtype":"article","type":"article","title":"A formal methodology for integral security design and verification of network protocols","author":[{"propositions":[],"lastnames":["Diaz"],"firstnames":["Jesus"],"suffixes":[]},{"propositions":[],"lastnames":["Arroyo"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Rodriguez"],"firstnames":["Francisco","B"],"suffixes":[]}],"journal":"Journal of Systems and Software","volume":"89","pages":"87–98","year":"2014","bibtex":"@article{diaz2014formal,\n title={A formal methodology for integral security design and verification of network protocols},\n author={Diaz, Jesus and Arroyo, David and Rodriguez, Francisco B},\n journal={Journal of Systems and Software},\n volume={89},\n pages={87--98},\n year={2014}\n}\n\n","author_short":["Diaz, J.","Arroyo, D.","Rodriguez, F. B"],"key":"diaz2014formal","id":"diaz2014formal","bibbaseid":"diaz-arroyo-rodriguez-aformalmethodologyforintegralsecuritydesignandverificationofnetworkprotocols-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"search_terms":["formal","methodology","integral","security","design","verification","network","protocols","diaz","arroyo","rodriguez"],"keywords":[],"authorIDs":[],"dataSources":["5MEpaPim3Cpp3Lrzg"]}