10.3321/j.issn:0253-987X.2001.04.010
一种认证方案的形式分析
首先对用于认证方案分析的BAN逻辑进行了分析并指出了它的限制,在此基础上提出了一种新的扩展,并将BAN逻辑应用到基于HMAC认证方案的分析中.通过对已实现的远程访问认证方案的分析,证明了上述扩展的有效性和合理性,分析结果表明认证方案达到了预期的安全设计目标.
网络安全、认证、形式分析、BAN逻辑
35
TP393.08(计算技术、计算机技术)
国家高技术研究发展计划863计划863-306-ZD-07-03
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
370-372