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

Security Analysis of Needham-Schroeder Symmetric Key Authentication Protocol

作　　者：杜金辉[1] 胡铭曾[1] 张兆心[1] 

机构地区：[1]哈尔滨工业大学计算机网络与信息安全技术研究中心,哈尔滨150001

出　　处：《微计算机信息》2008年第12期51-53,共3页Control & Automation

基　　金：十五国防预研项目安全性分析技术(编号不公开)

摘　　要：安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN逻辑研究Needham-Schroeder对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BAN逻辑下形式化证明改进的协议可以满足安全目标。Verification and analyzing the authentication protocol with formal method has become international researcher’s new focus. This paper researches on Needham-Schroeder authentication protocol based on BAN logic. It points out the flaw of the protocol that can be used by replay attack and improves the protocol by adding nonce in the transferred message. Finally,this paper proves the correctness of the improved protocol with BAN logic.

关 键 词：安全性分析 形式化 BAN逻辑 认证协议 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]