×

兹马思-数学第一资源

计算机辅助工作密码员的安全证明。(英语) Zbl 1287.94048号
Rogaway,Phillip(编辑),《密码学进展——密码2011》。2011年8月14-18日,美国加利福尼亚州圣巴巴拉市,第31届密码学年会。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-22791-2/pbk)。计算机科学课堂讲稿684171-90(2011)。
摘要:我们介绍了EasyCrypt,一个自动工具,用于从证明草图中详细说明密码系统的安全证明,它是一个证明本质的形式化表示,是一系列游戏和提示。使用现成的SMT解算器和自动定理证明器自动检查证明草图,然后在CertiCrypt框架中编译成可验证的证明。该工具支持最常见的推理模式,并且比它的前辈更容易使用。我们认为EasyCrypt是一个可能被工作的密码学家采用的候选方案,并举例说明它在Cramer-Shoup和Hashed-ElGamal密码系统的安全证明中的应用。
整个系列请参见[Zbl 1219.94002].

理学硕士:
94A60型 密码学
68页25页 数据加密(计算机科学方面)
91A80型 博弈论的应用
PDF格式 BibTeX公司 XML 引用
全文: 内政部