软件架构安全性分析方法综述

摘要：

随着学术界和产业界对软件安全性认识的不断深入,提高软件架构安全性成为保障软件安全的重要组成部分。本文首先将软件架构安全性分析方法分为形式化方法和工程化方法两类,并综述了十种相应的分析方法。然后根据评价框架对比并总结了两类架构安全性分析方法的优缺点,并提出了一个工程化和形式化相结合的架构分析方法。最后探讨了进一步的研究方向。

关键词： 软件架构 安全性分析 形式化方法 软件安全

作者: 易锦 郭涛 马丁

作者单位: 中国信息安全测评中心 北京 100085 北京邮电大学 北京 100876

会议类型: 国内会议

会议名称: 第二届信息安全漏洞分析与风险评估大会

会议地点: 北京

会议语种:中文

页码: 306-315

在线出版日期: 2009-12-01（万方平台首次上网日期，不代表论文的发表时间）