| 改进新密钥交换协议及其形式化分析 |
| |
| 引用本文： | 吴福生. 改进新密钥交换协议及其形式化分析[J]. 通信技术, 2011, 44(7): 99-101 |
| |
| 作者姓名： | 吴福生 |
| |
| 作者单位： | 凯里学院,贵州,凯里,556011 |
| |
| 基金项目： | 凯里学院课题(No.Z1113) |
| |
| 摘 要： | Diffie-Hellman协议不具有认证功能且不能抵抗中间人攻击。Seo等人提了一种简单的算法（SAKA）协议可以抵抗中间人攻击且运算简单,但是SAKA协议也存在不足。另有人提出了Lin协议、E-SAKA协议等。分析上述协议可看出存在不足。于是提出改进的新密钥交换协议。它具有SAKA及其改进协议优点的同时可以避免SAKA及其改进协议的缺陷。并给出该协议的BAN逻辑形式分析。
|
| 关 键 词： | 随机 Diffie-Hellman密钥协商 BAN逻辑 形式分析 会话密钥 |
Modified Novel Key Agreement Protocol and Its Formal Analysis |
| |
| WU Fu-sheng. Modified Novel Key Agreement Protocol and Its Formal Analysis[J]. Communications Technology, 2011, 44(7): 99-101 |
| |
| Authors: | WU Fu-sheng |
| |
| Affiliation: | WU Fu-sheng(Kaili University,Kaili Guizhou 556011,China) |
| |
| Abstract: | Diffie-Hellman key agreement protocol has some weaknesses,and it could not authenticate and resist man-in-the-middle attack.A simple authenticated key agreement algorithm(SAKA)is developed by Seo,which could resist man-in-the-middle attack,is still of some weaknesses.Analysis indicates that there are also some weaknesses in these protocols.So a modified novel key agreement protocol different from the previous protocols is suggested,this new protocol could avoid the weaknesses of previous protocols and has m... |
| |
| Keywords: | random Diffie-Hellman key agreement BAN logic formal analysis session key |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
