A Probabilistic Hoare-style logic for game-based cryptographic proofs

被引：0

作者：

Gorin, Ricardo

den Hartog, Jerry

机构：

来源：

AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2 | 2006年 / 4052卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We extend a Probabilistic Hoare-style logic to formalize game-based cryptographic proofs. Our approach provides a systematic and rigorous framework, thus preventing errors from being introduced. We illustrate our technique by proving semantic security of ElGamal.

引用

页码：252 / 263

页数：12