搜索结果: 1-1 共查到“军事学 Computational Complexity Proofs”相关记录1条 . 查询时间(0.07 秒)
Errors in Computational Complexity Proofs for Protocols
Computational Complexity Proofs security properties of protocols assuring protocol
font style='font-size:12px;'>
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...