| 基于BAN逻辑的SIP网络认证协议安全性研究 |
| |
| 引用本文： | 张兆心,杜跃进,方滨兴,张宏莉. 基于BAN逻辑的SIP网络认证协议安全性研究[J]. 高技术通讯, 2010, 20(11). DOI: 10.3772/j.issn.1002-0470.2010.11.002 |
| |
| 作者姓名： | 张兆心 杜跃进 方滨兴 张宏莉 |
| |
| 作者单位： | 哈尔滨工业大学,国家计算机网络与信息安全重点实验室,哈尔滨,150001;哈尔滨工业大学,国家计算机网络与信息安全重点实验室,哈尔滨,150001;哈尔滨工业大学,国家计算机网络与信息安全重点实验室,哈尔滨,150001;哈尔滨工业大学,国家计算机网络与信息安全重点实验室,哈尔滨,150001 |
| |
| 摘 要： | 利用BAN逻辑对会话初始化协议(SIP)网络采用的超文本传输协议(HTTP)摘要认证协议进行了形式化分析和推导。通过严格的逻辑推导,证明HTTP摘要认证协议存在不足,以及由此产生的伪装攻击。通过对逻辑推理结果和推导过程的分析,针对BAN逻辑提出增加消息抗否认性规则和消息新鲜性传递规则,增强了BAN逻辑的逻辑推理能力;针对HTTP摘要认证协议提出增加数字签名、公私钥机制、双向认证和密钥协商,提高了HTTP摘要认证协议的安全性。
|
| 关 键 词： | BAN逻辑 SIP HTTP摘要认证协议 双向认证 |
Research on authentication protocol security for SIP networks based on BAN logic |
| |
| Zhang Zhaoxin,Du Yuejin,Fang Binxing,Zhang Hongli. Research on authentication protocol security for SIP networks based on BAN logic[J]. High Technology Letters, 2010, 20(11). DOI: 10.3772/j.issn.1002-0470.2010.11.002 |
| |
| Authors: | Zhang Zhaoxin Du Yuejin Fang Binxing Zhang Hongli |
| |
| Abstract: | |
| |
| Keywords: | SIP |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
