DIAMONDS项目研究开发高效的、自动化的、适用于多工业领域的安全测试方法，这些领域包括：银行、汽车、工业自动化、智能卡、无线协议、通信。正如软件工程研究所在2009年在美国指出的“软件密集型系统的安全和其软件的质量密切相关”特别是，软件的安全事故90％以上是由攻击者利用已知的软件缺陷造成。DIAMONDS满足了这种日益增长的对系统化安全测试技术和工具的需求，可以有效地用于保护不同领域网络应用的安全。

DIAMONDS将利用系统的，基于模型的测试和监测方法，通过早期的自动化安全测试实现高度安全的系统。先进的基于模型的安全性测试方法将允许早期识别设计的漏洞和高效的系统/测试设计针对安全方面的问题。

DIAMONDS Presentation

下载信息  [文件大小：3.40 MB 下载次数： 次]

点击下载文件:Model-Based Security Testing