摘要
认证协议是网络环境中一类重要的安全协议,对协议进行形式化分析是保障其安全性的主要手段。文章以BAN逻辑为工具,分析了网络中常用的Kerberos认证协议。结果表明,Kerberos协议达到了预期的认证目标。
Authentication protocol is one important kind protocol in network environment, and formal analysis is the key method to guarantee its security properties. In this paper, Kerberos protocol is analyzed using BAN logic. The research results reveal that the protocol achieves the expectative authentication goals.
出处
《微电子学与计算机》
CSCD
北大核心
2006年第6期49-51,55,共4页
Microelectronics & Computer
