搜索结果: 1-1 共查到“军事学 Soundness of Formal Encryption”相关记录1条 . 查询时间(0.078 秒)
Computational Soundness about Formal Encryption in Presence of Secret Shares and Key Cycles
key cycles secret sharing computational soundness
2010/9/9
The computational soundness of formal encryption is researched extensively after the work by Abadi and Rogaway. A recent work by Abadi and Warinschi extends this work to a scenario in which secret sha...