一种安全协议组合分析方法

• 作者: 赵秀文 陈强 黄连生
• 来源期刊: 计算机应用研究
• 关键词: 安全协议 组合分析 规范语言 连接器
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 信息安全
• 页码范围: 105-107,155
• 页数: 4页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2006.06.033

摘要

提出了一种安全协议组合分析方法,即使用通用认证协议规范语言CAPSL描述安全协议,然后使用连接器,将CAPSL规范转换为其他安全协议分析工具的形式化输入,从而能够利用不同分析工具的优点,来更好地保证安全协议形式化分析的准确性,同时也方便了安全协议分析者.设计了两个CAPSL连接器,并给出一个协议转换实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈强	清华大学计算机科学与技术系	156	2560	29.0	47.0
2	黄连生	清华大学计算机科学与技术系	15	144	6.0	12.0
3	赵秀文	清华大学计算机科学与技术系	1	0	0.0	0.0