基于BAN逻辑的SIP网络认证协议安全性研究

• 作者: 张兆心 张宏莉 方滨兴 杜跃进
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: BAN逻辑 SIP HTTP摘要认证协议 双向认证
• 年，卷（期）: 2010,（11）
• 页码范围: 1108-1114
• 分类号: TP3
• 字数: 6026字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2010.11.002

摘要

利用BAN逻辑对会话初始化协议(SIP)网络采用的超文本传输协议(HTTP)摘要认证协议进行了形式化分析和推导.通过严格的逻辑推导,证明HTTP摘要认证协议存在不足,以及由此产生的伪装攻击.通过对逻辑推理结果和推导过程的分析,针对BAN逻辑提出增加消息抗否认性规则和消息新鲜性传递规则,增强了BAN逻辑的逻辑推理能力;针对HTTP摘要认证协议提出增加数字签名、公私钥机制、双向认证和密钥协商,提高了HTIP摘要证协议的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方滨兴	哈尔滨工业大学国家计算机网络与信息安全重点实验室	175	3885	33.0	56.0
2	张宏莉	哈尔滨工业大学国家计算机网络与信息安全重点实验室	185	2778	29.0	46.0
3	张兆心	哈尔滨工业大学国家计算机网络与信息安全重点实验室	44	270	9.0	14.0
4	杜跃进	哈尔滨工业大学国家计算机网络与信息安全重点实验室	15	61	5.0	7.0