TA4SP的认证性扩展
Certification Expansion of TA4SP作者机构：信息工程大学信息工程学院郑州450002
出 版 物：《计算机工程》 (Computer Engineering)
年 卷 期：2010年第36卷第2期
页 面：144-146页
核心收录：
学科分类：0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家"863"计划基金资助项目(2007AA01471)
摘 要：认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性检测方法。该方法基于对TA4SP设计原理的分析,采用分层认证思想,实现对其认证性的理论扩展,其结构清晰、易于形式化。实例表明,通过该方法改进后的TA4SP能有效检测安全协议的认证性。
维普期刊数据库
同方期刊数据库