| ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明 |
| |
| 引用本文： | 夏金月,王建东,方黎明,任勇军,卞仕柱.ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明[J].南京航空航天大学学报(英文版),2008,25(4). |
| |
| 作者姓名： | 夏金月 王建东 方黎明 任勇军 卞仕柱 |
| |
| 作者单位： | 南京航空航天大学信息与科学技术学院,南京,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 |
| |
| Xia Jinyue,Wang Jiandong,Fang Liming,Ren Yongjun,Bian Shizhu.FORMAL PROOF OF RELATIVE STRENGTH OF SECURITY AMONG ECK2007 MODEL AND OTHER PROOF MODELS FOR KEY AGREEMENT PROTOCOLS[J].Transactions of Nanjing University of Aeronautics & Astronautics,2008,25(4). |
| |
| Authors: | Xia Jinyue Wang Jiandong Fang Liming Ren Yongjun Bian Shizhu |
| |
| Abstract: | The differences among the extended Canetti & Krawczyk 2007 model (ECK2007) and other four models, i.e., the Bellare & Rogaway (1993, 1995) models (BR93,BR95), the Bellare, Pointcheval & Rogaway (2000) model (BPR2000) and the Canetti & Krawczyk (2001) model (CK2001) are given. The relative strength of security among these models is analyzed. To support the implication or non-implication relation among these models, the formal proof or the counter-example is provided. |
| |
| Keywords: | cryptography security data key agreement protocol proof model |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
