搜索结果: 1-1 共查到“军事学 Taming Complexity”相关记录1条 . 查询时间(0.062 秒)
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.