利用构造类别代数的协议安全测试方法

• 作者: 周颢 赵保华 陈伟琳
• 来源期刊: 西安交通大学学报
• 关键词: 协议安全测试 构造类别代数 变异分析
• 年，卷（期）: 2008,（12）
• 页码范围: 1481-1485
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2008.12.010

摘要

针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周颢	中国科学技术大学计算机科学与技术系	11	52	5.0	6.0
4	赵保华	中国科学技术大学计算机科学与技术系	27	153	7.0	10.0
19	陈伟琳	中国科学技术大学计算机科学与技术系	3	8	2.0	2.0