10.3969/j.issn.1000-3428.2003.22.020
LMDS系统安全认证协议的形式分析与改进
利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞,已成为密码学中一个新的研究方向.文章用BAN逻辑形式分析方法,对基于802.16的LMDS系统的安全认证协议进行了分析,针对协议中存在的不足提出了更为安全、合理的解决方案.
形式化分析、BAN逻辑、认证协议、LMDS系统
29
TP393(计算技术、计算机技术)
国家高技术研究发展计划863计划2001AA140331
2004-01-09(万方平台首次上网日期,不代表论文的发表时间)
共3页
48-50