Provable Security for Cryptographic Protocols: Exact Analysis and Engineering Applications

Rockport, Massachusetts June 10-June 12

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/CSFW.1997.596784

10th Computer Security Foundations Wo ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	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 James W. Gray Articles by Kin Fai Epsilon Ip Articles by King-Shan Lui

	ASCII Text	x
	James W. Gray, Kin Fai Epsilon Ip, King-Shan Lui, "Provable Security for Cryptographic Protocols: Exact Analysis and Engineering Applications," Computer Security Foundations Workshop, IEEE, pp. 45, 10th Computer Security Foundations Workshop (CSFW '97), 1997.

	BibTex	x
	@article{ 10.1109/CSFW.1997.596784, author = {James W. Gray and Kin Fai Epsilon Ip and King-Shan Lui}, title = {Provable Security for Cryptographic Protocols: Exact Analysis and Engineering Applications}, journal ={Computer Security Foundations Workshop, IEEE}, volume = {0}, year = {1997}, issn = {1063-6900}, pages = {45}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1997.596784}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer Security Foundations Workshop, IEEE TI - Provable Security for Cryptographic Protocols: Exact Analysis and Engineering Applications SN - 1063-6900 SP EP A1 - James W. Gray, A1 - Kin Fai Epsilon Ip, A1 - King-Shan Lui, PY - 1997 VL - 0 JA - Computer Security Foundations Workshop, IEEE ER -

James W. Gray, Hong Kong University of Science and Techology

Kin Fai Epsilon Ip, Hong Kong University of Science and Techology

King-Shan Lui, University of California, Santa Barbara

We develop an approach to deriving concrete engineering advice for cryptographic protocols from provable-security-style proofs of security. The approach is illustrated with a simple, yet useful protocol. The proof is novel and is the first published proof that provides an exact relationship between a high-level protocol and multiple cryptographic primitives.

Citation:

James W. Gray, Kin Fai Epsilon Ip, King-Shan Lui, "Provable Security for Cryptographic Protocols: Exact Analysis and Engineering Applications," csfw, pp.45, 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.