Verifying authentication protocols with CSP

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Steve Schneider

10th Computer Security Foundations Workshop (CSFW '97)

Rockport, Massachusetts

June 10-June 12

ISBN: 0-8186-7990-5

	ASCII Text	x
	Steve Schneider, "Verifying authentication protocols with CSP," Computer Security Foundations Workshop, IEEE, pp. 3, 10th Computer Security Foundations Workshop (CSFW '97), 1997.

	BibTex	x
	@article{ 10.1109/CSFW.1997.596775, author = {Steve Schneider}, title = {Verifying authentication protocols with CSP}, journal ={Computer Security Foundations Workshop, IEEE}, volume = {0}, year = {1997}, issn = {1063-6900}, pages = {3}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1997.596775}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer Security Foundations Workshop, IEEE TI - Verifying authentication protocols with CSP SN - 1063-6900 SP EP A1 - Steve Schneider, PY - 1997 KW - Authentication KW - security protocols KW - formal methods KW - CSP KW - verification KW - Needham-Schroeder protocol. VL - 0 JA - Computer Security Foundations Workshop, IEEE ER -

Steve Schneider, University of London

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSFW.1997.596775

This paper presents a general approach for analysis and verification of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by an examination of the Needham-Schroeder public-key protocol. The contribution of this paper is to develop a specific theory appropriate to the analysis of authentication protocols, built on top of the general CSP semantic framework. This approach aims to combine the ability to express such protocols in a natural and precise way with the facility to reason formally about the properties they exhibit.

Index Terms:

Authentication, security protocols, formal methods, CSP, verification, Needham-Schroeder protocol.

Citation:

Steve Schneider, "Verifying authentication protocols with CSP," csfw, pp.3, 10th Computer Security Foundations Workshop (CSFW '97), 1997

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.