@inproceedings{lowe_breaking_1996,
	address = {London, UK, UK},
	series = {{TACAs} '96},
	title = {Breaking and {Fixing} the {Needham}-{Schroeder} {Public}-{Key} {Protocol} {Using} {FDR}},
	isbn = {3-540-61042-1},
	url = {http://dx.doi.org/10.1007/3-540-61042-1_43},
	doi = {10.1007/3-540-61042-1<sub>4</sub>3},
	abstract = {In this paper we analyse the well known Needham-Schroeder Public-Key Protocol using FDR, a refinement checker for CSP. We use FDR to discover an attack upon the protocol, which allows an intruder to impersonate another agent. We adapt the protocol, and then use FDR to show that the new protocol is secure, at least for a small system. Finally we prove a result which tells us that if this small system is secure, then so is a system of arbitrary size.},
	booktitle = {Proceedings of the {Second} {International} {Workshop} on {Tools} and {Algorithms} for {Construction} and {Analysis} of {Systems}},
	publisher = {Springer-Verlag},
	author = {Lowe, Gavin},
	year = {1996},
	note = {01757 
bibtex: Low96 
bibtex[acmid=693776;numpages=20]},
	pages = {147--166}
}

{"_id":"ngHP7sHzDM6kybry9","bibbaseid":"lowe-breakingandfixingtheneedhamschroederpublickeyprotocolusingfdr-1996","downloads":0,"creationDate":"2016-05-30T09:53:21.436Z","title":"Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR","author_short":["Lowe, G."],"year":1996,"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/2345845/collections/WG9KFXBW/items?key=9zfUPfSwh2adWPrQ5jSqh7vN&format=bibtex&limit=100i","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"London, UK, UK","series":"TACAs '96","title":"Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR","isbn":"3-540-61042-1","url":"http://dx.doi.org/10.1007/3-540-61042-1_43","doi":"10.1007/3-540-61042-1₄3","abstract":"In this paper we analyse the well known Needham-Schroeder Public-Key Protocol using FDR, a refinement checker for CSP. We use FDR to discover an attack upon the protocol, which allows an intruder to impersonate another agent. We adapt the protocol, and then use FDR to show that the new protocol is secure, at least for a small system. Finally we prove a result which tells us that if this small system is secure, then so is a system of arbitrary size.","booktitle":"Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Lowe"],"firstnames":["Gavin"],"suffixes":[]}],"year":"1996","note":"01757 bibtex: Low96 bibtex[acmid=693776;numpages=20]","pages":"147--166","bibtex":"@inproceedings{lowe_breaking_1996,\n\taddress = {London, UK, UK},\n\tseries = {{TACAs} '96},\n\ttitle = {Breaking and {Fixing} the {Needham}-{Schroeder} {Public}-{Key} {Protocol} {Using} {FDR}},\n\tisbn = {3-540-61042-1},\n\turl = {http://dx.doi.org/10.1007/3-540-61042-1_43},\n\tdoi = {10.1007/3-540-61042-1₄3},\n\tabstract = {In this paper we analyse the well known Needham-Schroeder Public-Key Protocol using FDR, a refinement checker for CSP. We use FDR to discover an attack upon the protocol, which allows an intruder to impersonate another agent. We adapt the protocol, and then use FDR to show that the new protocol is secure, at least for a small system. Finally we prove a result which tells us that if this small system is secure, then so is a system of arbitrary size.},\n\tbooktitle = {Proceedings of the {Second} {International} {Workshop} on {Tools} and {Algorithms} for {Construction} and {Analysis} of {Systems}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Lowe, Gavin},\n\tyear = {1996},\n\tnote = {01757 \nbibtex: Low96 \nbibtex[acmid=693776;numpages=20]},\n\tpages = {147--166}\n}\n\n","author_short":["Lowe, G."],"key":"lowe_breaking_1996","id":"lowe_breaking_1996","bibbaseid":"lowe-breakingandfixingtheneedhamschroederpublickeyprotocolusingfdr-1996","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-61042-1_43"},"downloads":0},"search_terms":["breaking","fixing","needham","schroeder","public","key","protocol","using","fdr","lowe"],"keywords":[],"authorIDs":[],"dataSources":["5wuvXcjZdiAp3GLdi"]}