软件漏洞研究规划.pptVIP

软件漏洞研究规划 孙建伟 北京理工大学软件学院 研究思路 从软件生产过程，梳理漏洞类型和成因； 把软件生产过程概略分解为两个阶段：形式化建模及验证阶段和编程实现阶段 漏洞研究的形式化方法适用于前一个阶段 以此界定软件漏洞形式化研究的范围 收缩界定研究范围：着重于软件体系架构的形式化方法建模，以此阶段的形式化模型为基础 软件体系架构以SOA架构风格为主 研究漏洞的发现、验证、模型改进等问题； 梳理现有的研究基础 以进程代数建模的形式化方法 SOA体系结构形式化模型 可信软件的可信范式及验证方法 提纲 从软件生产过程看漏洞的形成 漏洞的分析、发现、验证 漏洞利用 漏洞研究的理论基础 软件漏洞研究规划 漏洞的形成 软件生产过程 软件架构设计 UML建模（描述性工具） 详细设计 代码实现 测试验证 漏洞的形成软件生产阶段 软件架构设计 功能划分 SOA架构，组件架构 详细设计 组件设计细化 代码实现 平台 编程语言 运行环境 测试验证 功能测试 性能测试 可信测试验证 漏洞的形成软件体系架构中 软件架构设计阶段的软件缺陷 组件兼容性 协作性 安全性控制缺陷 （静态结构缺陷、行为控制缺陷） 详细设计 组件功能不能实现整体要求 漏洞的形成软件编码阶段引入的缺陷 代码实现 对运行环境的破坏 代码错误 目前所谓的软件漏洞基本集中在这种类型的缺陷，包括挖掘和利用 漏洞的发现 软件体系结构层次的发现 归结为可信范式的验证问题； 包括，互锁、协作、安全控制 代码层次的漏洞分析 静态分析 二进制代码逆向分析 源码模式匹配 系统行为层次的漏洞分析 动态分析 软件测试 漏洞的利用 代码层次的漏洞利用 改变、脱离软件运行 软件架构逻辑层次的漏洞利用 不脱离软件运行环境 漏洞研究的理论基础 软件体系架构的形式化建模 进程代数理论 形式语言 可信模型的形式化验证方法 基于形式化模型，评价模型优劣在于形式化模型的自动化验证能力 可信软件测试方法 软件漏洞研究规划 梳理现有的成果 形式化建模方法 可信软件验证方法 研究要点 形式化模型建模理论研究 各种可信范式及其缺陷验证 访问控制策略缺陷 进程互锁缺陷 服务完整性缺陷 审计缺陷 ...... 实例化 算法性能研究 软件漏洞研究规划 研究技术方案 安全功能归结为各种可信范式 可信范式的形式化 可信范式的验证 层次化研究方法： 组件组合层次 组件结构层次 * *