何 可，李晓红，冯志勇，AARON Marback

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

何 可1，李晓红1，冯志勇1，AARON Marback2

(1. 天津大学计算机科学与技术学院，天津 300072；2. 美国北达科他州立大学计算机科学系，法戈58108)

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

软件安全；攻击场景；安全测试序列；安全测试生成；可信软件

随着互联网的普及，软件安全性已经成为一个严重的问题．人们普遍认识到应该在软件开发生命周期中尽早考虑安全问题[1]．安全性已经成为软件系统的一个重要可信性质[2]．设计级别的安全问题难以解决使得安全设计(如设计阶段的威胁建模)成为安全软件开发成功的关键[1]．Li与He[3]提出了一种统一威胁模型，在设计阶段能够有效地分析与评估软件可能面临的威胁，改进软件设计的安全性．但是，软件实现可能违背设计引入安全漏洞，安全设计并不能确保软件实现的安全性．使用安全设计的产物(如统一威胁模型)测试软件实现的安全性成为必要．

软件安全测试通过运行安全测……