Title :
Logics for reasoning about cryptographic constructions
Author :
Impagliazzo, Russell ; Kapron, Bruce M.
Author_Institution :
Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
Abstract :
We present two logical systems for reasoning about cryptographic constructions which are sound with respect to standard cryptographic definitions of security. Soundness of the first system is proved using techniques from nonstandard models of arithmetic. Soundness of the second system is proved by an interpretation into the first system. We also present examples of how these systems may be used to formally prove the correctness of some elementary cryptographic constructions.
Keywords :
cryptography; inference mechanisms; cryptographic constructions; cryptographic security definitions; formal deduction systems; logical systems; meta-logic; nonstandard arithmetic models; reasoning; soundness proving; Acoustical engineering; Arithmetic; Authentication; Computer science; Computer security; Cryptographic protocols; Cryptography; Logic; Programming profession;
Conference_Titel :
Foundations of Computer Science, 2003. Proceedings. 44th Annual IEEE Symposium on
Print_ISBN :
0-7695-2040-5
DOI :
10.1109/SFCS.2003.1238211
