搜索结果: 1-1 共查到“军事学 Probabilistic Hoare-style logic”相关记录1条 . 查询时间(0.062 秒)
A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs
Probabilistic Hoare-style logic Game-based Cryptographic Proofs
2009/3/19
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 ...