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
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;
Conference_Titel :
Computer Security Foundations Workshop, 1997. Proceedings., 10th
Conference_Location :
Rockport, MA
Print_ISBN :
0-8186-7990-5
DOI :
10.1109/CSFW.1997.596784
