搜索结果: 1-2 共查到“军事学 Sequences of Games”相关记录2条 . 查询时间(0.077 秒)
Sequences of Games:A Tool for Taming Complexity in Security Proofs
Sequences of Games Taming Complexity Security Proofs
2009/4/2
This paper is brief tutorial on a technique for structuring security proofs as sequences
games.
Automated Security Proofs with Sequences of Games
Automated Security Proofs Sequences Games
2008/10/31
This paper presents the first automatic technique for proving not only protocols
but also primitives in the exact security computational model. Automatic proofs of cryptographic protocols were up to ...