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