基于攻击场景的安全测试生成方法

• 作者: AARON Marback 何可 冯志勇 李晓红
• 来源期刊: 天津大学学报
• 学科: 工学
• 关键词: 软件安全 攻击场景 安全测试序列 安全测试生成 可信软件
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 电子信息工程
• 页码范围: 344-352
• 分类号: TP309
• 字数: 9380字
• 语种: 中文
• DOI: 10.3969/j.issn.0493-2137.2011.04.012

摘要

为了更加有效地开发安全可信的软件,需要在软件开发生命周期中尽早考虑安全问题.为了解决这一问题,提出了一种基于设计级别的攻击场景生成安全测试的方法,该方法包括建模并验证攻击场景,用攻击场景生成安全测试序列,基于输入语法生成测试输入数据,生成模型级别的安全测试用例,将模型级别的安全测试用例转化为可执行的安全测试用例.设计并实现了一个实验,验证了所提出方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯志勇	天津大学计算机科学与技术学院	146	1072	17.0	24.0
2	李晓红	天津大学计算机科学与技术学院	40	675	14.0	25.0
3	何可	天津大学计算机科学与技术学院	3	33	3.0	3.0