10.3969/j.issn.1000-3428.2006.08.058
一个新的认证协议及其形式化分析
认证协议是网络安全体系中最基本和最关键的问题.在传统认证协议的基础上,提出了一个新的认证协议.经过用BAN逻辑对这个协议进行了形式化分析,找出了可能的攻击方法并作出了相应修改.讨论了BAN逻辑用于认证协议形式化分析的作用、局限性以及改进的方向.
认证协议、形式分析、BAN逻辑
32
TP393(计算技术、计算机技术)
贵州省自然科学基金20043029;贵州省教育厅自然科学基金2004219
2006-05-18(万方平台首次上网日期,不代表论文的发表时间)
共3页
159-161