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

摘要：

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

关键词：软件安全、攻击场景、安全测试序列、安全测试生成、可信软件

所属期刊栏目：44

分类号：TP309(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划资助项日2007AA01Z130;国家自然科学基金资助项目90718023

在线出版日期：2011-08-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：344-352