论文部分内容阅读
比较了安全性模型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））的不同点，并形式化地分析了这些模型之间的强弱关系，对模型间存在的蕴含关系提供了形式化证明，对非蕴含关系提供了反例。