| NS对称密钥认证协议安全性分析 |
| |
| 引用本文： | 杜金辉,胡铭曾,张兆心.NS对称密钥认证协议安全性分析[J].微计算机信息,2008,24(12):51-53. |
| |
| 作者姓名： | 杜金辉 胡铭曾 张兆心 |
| |
| 作者单位： | 哈尔滨工业大学计算机网络与信息安全技术研究中心,哈尔滨,150001 |
| |
| 基金项目： | 十五国防预研项目安全性分析技术(编号不公开) |
| |
| 摘 要： | 安全协议的形式化验证与分析已成为国际研究的热点.本文应用BAN逻辑研究Needham-Schroeder对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BAN逻辑下形式化证明改进的协议可以满足安全目标.
|
| 关 键 词： | 安全性分析 形式化 BAN逻辑 认证协议 |
| 文章编号： | 1008-0570(2008)04-3-0051-03 |
| 修稿时间： | 2008年2月23日 |
Security Analysis of Needham-Schroeder Symmetric Key Authentication Protocol |
| |
| DU Jin-hui,HU Ming-zeng,ZHANG Zhao-xin.Security Analysis of Needham-Schroeder Symmetric Key Authentication Protocol[J].Control & Automation,2008,24(12):51-53. |
| |
| Authors: | DU Jin-hui HU Ming-zeng ZHANG Zhao-xin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
