DocumentCode
2170040
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
fYear
2003
fDate
11-14 Oct. 2003
Firstpage
372
Lastpage
383
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Foundations of Computer Science, 2003. Proceedings. 44th Annual IEEE Symposium on
ISSN
0272-5428
Print_ISBN
0-7695-2040-5
Type
conf
DOI
10.1109/SFCS.2003.1238211
Filename
1238211
Link To Document