Logics for reasoning about cryptographic constructions

详细信息    查看全文

• 作者：Russell Impagliazzo and Bruce M. Kapron
• 关键词：Security protocols ; Cryptographically sound proofs ; Nonstandard arithmetics
• 刊名：Journal of Computer and System Sciences
• 出版年：2006
• 出版时间：March 2006
• 年：2006
• 卷：72
• 期：2
• 页码：286-320
• 全文大小：414 K

文摘

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 non-standard 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.