[发明专利]一种软件可信性检测分析方法

摘要

本发明公开一种软件可信性检测分析方法，包括标准指标体系管理模块、软件过程采集模块、软件可信度测评模块、反馈结果模块，标准指标体系管理模块构建攻击模型库，增加威胁程度属性，建立攻击模式和软件缺陷之间的多对一映射关系，从而获取软件的威胁程序，软件过程采集模块通过构建形式统一的软件模型，软件安全知识库，软件可信度测评模块通过定理证明进行采集软件和攻击文件之间的关联信息。可以有效的完成软件开发过程中软件设计模型的缺陷查找，提高了软件可信性评价精度，并提高软件的开发质量和效率。设计新颖，是一种很好的创新方案。

主权项

一种软件可信性检测分析方法，其特征在于：包括标准指标体系管理模块、软件过程采集模块、软件可信度测评模块、反馈结果模块，标准指标体系管理模块构建攻击模型库，增加威胁程度属性，建立攻击模式和软件缺陷之间的多对一映射关系，从而获取软件的威胁程序，软件过程采集模块通过构建形式统一的软件模型，软件安全知识库，软件可信度测评模块通过定理证明进行采集软件和攻击文件之间的关联信息，通用配置管理模块，对于虚拟机镜像而言，通用配置包括用户管理、软件包管理、网络管理、安全管理、系统配置管理和用户自定义配置管理，攻击文件在配置过程中，为了保证安全，client和master之间是基于ssl和证书进行通信的；Puppet同时会检测虚拟机镜像的存活状态，如果检测到虚拟机镜像被删除，Puppet会自动结束相应的配置操作，软件把执行结果发送给服务器，服务器端把客户端的执行结果写入日志。