TA4SP的认证性扩展

• 作者: 刘楠 朱文也 祝跃飞 陈晨
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: TA4SP系统 项重写系统 树自动机 认证性
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 安全技术
• 页码范围: 144-146
• 页数: 3页
• 分类号: TP309
• 字数: 4433字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.02.051

摘要

认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测.针对该问题,提出一种TA4SP的认证性检测方法.该方法基于对TA4SP设计原理的分析,采用分层认证思想,实现对其认证性的理论扩展,其结构清晰、易于形式化.实例表明,通过该方法改进后的TA4SP能有效检测安全协议的认证性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝跃飞	信息工程大学信息工程学院	80	379	10.0	14.0
2	刘楠	信息工程大学信息工程学院	13	29	3.0	4.0
3	陈晨	信息工程大学信息工程学院	9	13	2.0	3.0
4	朱文也	信息工程大学信息工程学院	3	5	1.0	2.0