买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
申请/专利权人:清远博云软件有限公司
申请日:2017-08-10
公开(公告)日:2018-01-02
公开(公告)号:CN107529639A
专利技术分类:.通过软件的测试或调试防止错误[2006.01]
专利摘要:本发明公开一种软件可信性检测分析方法,包括标准指标体系管理模块、软件过程采集模块、软件可信度测评模块、反馈结果模块,标准指标体系管理模块构建攻击模型库,增加威胁程度属性,建立攻击模式和软件缺陷之间的多对一映射关系,从而获取软件的威胁程序,软件过程采集模块通过构建形式统一的软件模型,软件安全知识库,软件可信度测评模块通过定理证明进行采集软件和攻击文件之间的关联信息。可以有效的完成软件开发过程中软件设计模型的缺陷查找,提高了软件可信性评价精度,并提高软件的开发质量和效率。设计新颖,是一种很好的创新方案。
专利权项:一种软件可信性检测分析方法,其特征在于:包括标准指标体系管理模块、软件过程采集模块、软件可信度测评模块、反馈结果模块,标准指标体系管理模块构建攻击模型库,增加威胁程度属性,建立攻击模式和软件缺陷之间的多对一映射关系,从而获取软件的威胁程序,软件过程采集模块通过构建形式统一的软件模型,软件安全知识库,软件可信度测评模块通过定理证明进行采集软件和攻击文件之间的关联信息,通用配置管理模块,对于虚拟机镜像而言,通用配置包括用户管理、软件包管理、网络管理、安全管理、系统配置管理和用户自定义配置管理,攻击文件在配置过程中,为了保证安全,client和master之间是基于ssl和证书进行通信的;Puppet同时会检测虚拟机镜像的存活状态,如果检测到虚拟机镜像被删除,Puppet会自动结束相应的配置操作,软件把执行结果发送给服务器,服务器端把客户端的执行结果写入日志。
百度查询: 清远博云软件有限公司 一种软件可信性检测分析方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。