搜索结果: 1-1 共查到“军事学 Static Equivalence”相关记录1条 . 查询时间(0.071 秒)
Computational Soundness of Formal Indistinguishability and Static Equivalence
Formal Indistinguishability Static Equivalence
2008/12/18
In the investigation of the relationship between the formal
and the computational view of cryptography, a recent approach, first
proposed in [10], uses static equivalence from cryptographic pi calcu...