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

摘要

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