DocumentCode
310901
Title
Provable security for cryptographic protocols-exact analysis and engineering applications
Author
Gray, James W., III ; Epsilon IP, Kin Fai ; Lui, King-Shan
Author_Institution
Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Hong Kong
fYear
1997
fDate
10-12 Jun 1997
Firstpage
45
Lastpage
58
Abstract
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
Keywords
cryptography; protocols; theorem proving; concrete engineering advice; cryptographic protocols; engineering applications; exact analysis; high level protocol; multiple cryptographic primitives; provable security; provable-security-style proofs of security; Application software; Clocks; Computer science; Computer security; Concrete; Cryptographic protocols; Data security; Polynomials; Public key; Public key cryptography;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1997. Proceedings., 10th
Conference_Location
Rockport, MA
ISSN
1063-6900
Print_ISBN
0-8186-7990-5
Type
conf
DOI
10.1109/CSFW.1997.596784
Filename
596784
Link To Document