西安电子科技大学李金库获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉西安电子科技大学申请的专利一种基于编译器的程序分支数据完整性保护方法、系统、设备及介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119089509B 。
龙图腾网通过国家知识产权局官网在2025-11-28发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202410959146.2,技术领域涉及:G06F21/64;该发明授权一种基于编译器的程序分支数据完整性保护方法、系统、设备及介质是由李金库;成泽辉;向昊设计研发完成,并于2024-07-17向国家知识产权局提交的专利申请。
本一种基于编译器的程序分支数据完整性保护方法、系统、设备及介质在说明书摘要公布了:一种基于编译器的程序分支数据完整性保护方法、系统、设备及介质,方法:当对程序进行数据流完整性保护时输入程序中间代码,并对输入的程序中间代码进行控制依赖分析,获取程序中待保护的与控制流相关的分支数据,并传入静态值流分析算法定位分支数据的源点,然后根据分支数据源点,生成程序数据流图,同时将分支数据源点保存到运行时定义表,当程序运行时依据数据地址索引运行时定义表中对应的源点,并通过IntelMPK硬件来保护运行时定义表的安全性,最后判断源点是否在程序数据流图范围内,若在则继续执行程序,否则抛出异常;系统、设备及介质用于实现基于编译器的程序分支数据完整性保护方法;本发明具有安全性高、系统开销低、兼容性广的优点。
本发明授权一种基于编译器的程序分支数据完整性保护方法、系统、设备及介质在权利要求书中公布了:1.一种基于编译器的程序分支数据完整性保护方法,其特征在于,包括静态分析和程序运行时验证; 当对程序进行数据流完整性保护时,进行所述静态分析,包括以下步骤: 步骤1:输入程序中间代码LLVM-IR,并对输入的程序中间代码LLVM-IR进行控制依赖分析,获取程序中待保护的与控制流相关的分支数据; 步骤2:将步骤1获取的分支数据传入静态值流分析算法,定位分支数据的源点; 步骤3:根据步骤2分析得到的分支数据源点,生成程序数据流图DFG; 当程序运行时,进行所述程序运行时验证,包括以下步骤: 步骤S1:将步骤2分析得到的分支数据源点保存到运行时定义表英文名RuntimeDefinitionsTable,RDT,再依据数据地址索引查找运行时定义表RDT中对应的源点,并通过IntelMPK硬件来保护运行时定义表RDT的安全性; 步骤S2:判断步骤S1查找到的源点是否在步骤3生成的程序数据流图DFG范围内,判断为是则继续执行程序,判断为否则抛出异常。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人西安电子科技大学,其通讯地址为:710071 陕西省西安市雁塔区太白南路2号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励