中国人民解放军战略支援部队信息工程大学王庆丰获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中国人民解放军战略支援部队信息工程大学申请的专利函数级内生安全软件开发系统及编译调试方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115098064B 。
龙图腾网通过国家知识产权局官网在2025-09-05发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210584675.X,技术领域涉及:G06F8/20;该发明授权函数级内生安全软件开发系统及编译调试方法是由王庆丰;王亚文;程国振;周大成;谢根琳;何本伟;商珂;冯志峰;霍树民;郭义伟设计研发完成,并于2022-05-27向国家知识产权局提交的专利申请。
本函数级内生安全软件开发系统及编译调试方法在说明书摘要公布了:本发明属于网络空间安全技术领域,涉及一种函数级内生安全软件开发系统及编译调试方法,基于动态异构冗余架构来构建,包含:变体,通过变体可执行文件的执行来完成软件项目中业务逻辑,其中,变体可执行文件通过软件项目配置文件来生成,且在每个变体可执行文件中至少包含处理业务逻辑的业务代码和收发裁决信息的包裹代码,业务代码中每个调用函数对应一个待裁决点,包裹代码利用与待裁决点对应的包裹函数来收发待裁决点的裁决信息;裁决器,接收变体包裹代码发送的裁决请求并对裁决请求进行裁决处理;IO代理,处理变体输入输出操作并将处理结果反馈给裁决器,由裁决器分发至对应变体。本发明减少用户应用门槛,可进行扩展,提升软件安全防护能力。
本发明授权函数级内生安全软件开发系统及编译调试方法在权利要求书中公布了:1.一种函数级内生安全软件开发系统,其特征在于,基于动态异构冗余架构来构建,该开发系统包含: 变体,依据若干软件项目配置文件来分别生成异构的变体可执行文件并通过变体可执行文件的执行来完成软件项目中业务逻辑,且在每个变体可执行文件中至少包含处理业务逻辑的业务代码和收发裁决信息的包裹代码,业务代码中每个调用函数对应一个待裁决点,包裹代码利用与待裁决点对应的包裹函数来收发待裁决点的裁决信息;且在变体包裹代码拦截业务代码模块中调用函数,利用包裹函数代码代替业务代码中的调用函数,将调用函数及函数相关参数和返回信息发送给裁决器进行裁决,其中,包裹函数代码依据裁决对象划分为:IO类函数检查的IO函数类包裹代码,对函数指定类型参数、指定类型返回值进行检查的通用检查函数类包裹代码,及用户自定义裁决的自定义检查函数类包裹代码; 裁决器,接收变体包裹代码发送的裁决请求并对裁决请求进行裁决处理; IO代理,处理变体输入输出操作并将处理结果反馈给裁决器,由裁决器分发至对应变体; 各变体、裁决器和IO代理之间通过调用各自接口函数进行通信,所述变体对应一个软件需求或多个软件需求并通过多个不完全一致的变体程序实现内生安全。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中国人民解放军战略支援部队信息工程大学,其通讯地址为:450000 河南省郑州市高新区科学大道62号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。