排序方式: 共有1条查询结果,搜索用时 22 毫秒
1
1.
比较了安全性模型Extended Canetti&Krawczyk 2007(ECK 2007)与其他4个安全模型(Bellare&Rogaway 1993(BR93),Bellare&Rogaway 1995(BR95),Bellare,Pointcheval&Rogaway 2000(BPR 2000)和Canetti&Krawczyk 2001(CK2001))的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。 相似文献
1