搜索结果: 1-1 共查到“军事学 Computational Complexity Proofs”相关记录1条 . 查询时间(0.138 秒)
Errors in Computational Complexity Proofs for Protocols
Computational Complexity Proofs security properties of protocols assuring protocol
2009/3/9
Proofs are invaluable tools in assuring protocol implementers
about the security properties of protocols. However, several instances of
undetected aws in the proofs of protocols (resulting in awed p...