搜索结果: 1-1 共查到“军事学 Sound Computational”相关记录1条 . 查询时间(0.078 秒)
Sound Computational Interpretation of Formal Hashes
Sound Computational Interpretation Formal Hashes
2008/10/21
This paper provides one more step towards bridging the gap between
the formal and computational approaches to cryptographic protocols. We
extend the well-known Abadi-Rogaway logic with probabilistic...