10.3969/j.issn.1000-3428.2010.02.051
TA4SP的认证性扩展
认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测.针对该问题,提出一种TA4SP的认证性检测方法.该方法基于对TA4SP设计原理的分析,采用分层认证思想,实现对其认证性的理论扩展,其结构清晰、易于形式化.实例表明,通过该方法改进后的TA4SP能有效检测安全协议的认证性.
TA4SP系统、项重写系统、树自动机、认证性
36
TP309(计算技术、计算机技术)
国家”863”计划基金资助项目2007AA01471
2010-03-26(万方平台首次上网日期,不代表论文的发表时间)
共3页
144-146