|
|||||
|
|
| ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明 | |
| 作者姓名： | 夏金月 王建东 方黎明 任勇军 卞仕柱 |
| 作者单位： | 南京航空航天大学信息与科学技术学院,中国南京210016 |
| 摘 要： | 比较了安全性模型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））的不同点，并形式化地分析了这些模型之间的强弱关系，对模型间存在的蕴含关系提供了形式化证明，对非蕴含关系提供了反例。 |
| 关 键 词： | 密码学 数据安全 密钥协商协议 安全模型 |
FORMAL PROOF OF RELATIVE STRENGTH OF SECURITY AMONG ECK2007 MODEL AND OTHER PROOF MODELS FOR KEY AGREEMENT PROTOCOLS |
|
| Abstract: | |
| Keywords: | cryptography security data key agreement protocol proof model |
| 点击此处可从《》浏览原始摘要信息 | |
| 点击此处可从《》下载免费的PDF全文 | |