搜索结果: 1-1 共查到“军事学 Game-based Proofs”相关记录1条 . 查询时间(0.2 秒)
CryptHOL: Game-based Proofs in Higher-order Logic
Provable Security Game-based Proofs Theorem Proving
font style='font-size:12px;'>
2017/8/8
Game-based proofs are a well-established paradigm for structuring security arguments and simplifying their understanding. We present a novel framework, CryptHOL, for rigorous game-based proofs that is...