10.3969/j.issn.1008-0570.2006.18.029
BAN类逻辑的进一步研究
BAN类逻辑是近年来主要的密码协议分析工具之一,在分析了BAN逻辑存在的各类缺陷并用实例详细说明的基础上,研究和归纳了各种扩展的BAN类逻辑的特点和他们共同的缺陷,指出了BAN类逻辑应该改进的方面以及今后进一步的研究方向.
密码协议、形式化分析、BAN类逻辑
22
TP309.2(计算技术、计算机技术)
国家自然科学基金60373059
2006-07-31(万方平台首次上网日期,不代表论文的发表时间)
共3页
84-86