搜索结果: 1-1 共查到“军事学 Computational Secrecy”相关记录1条 . 查询时间(0.062 秒)
Inductive Proof Method for Computational Secrecy
Inductive Proof Method Computational Secrecy
2008/8/29
We investigate inductive methods for proving secrecy properties
of network protocols, in a “computational” setting applying
probabilistic polynomial-time adversary. As in cryptographic studies,
se...