NS对称密钥认证协议安全性分析

• 作者: 张兆心 杜金辉 胡铭曾
• 来源期刊: 科技与创新
• 关键词: 安全性分析 形式化 BAN逻辑 认证协议
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 信息安全
• 页码范围: 51-53
• 页数: 3页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.12.022

摘要

安全协议的形式化验证与分析已成为国际研究的热点.本文应用BAN逻辑研究Needham-Schroeder对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BAN逻辑下形式化证明改进的协议可以满足安全目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡铭曾	哈尔滨工业大学计算机网络与信息安全技术研究中心	131	2150	26.0	42.0
2	张兆心	哈尔滨工业大学计算机网络与信息安全技术研究中心	44	270	9.0	14.0
3	杜金辉	哈尔滨工业大学计算机网络与信息安全技术研究中心	2	4	1.0	2.0