哈尔滨工程大学李博权获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉哈尔滨工程大学申请的专利一种基于可逆水印的大模型生成代码溯源方法、系统、设备及介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN120449134B 。
龙图腾网通过国家知识产权局官网在2025-11-28发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510463284.6,技术领域涉及:G06F21/16;该发明授权一种基于可逆水印的大模型生成代码溯源方法、系统、设备及介质是由李博权;付梓睿;陆学弘;王兴梅设计研发完成,并于2025-04-14向国家知识产权局提交的专利申请。
本一种基于可逆水印的大模型生成代码溯源方法、系统、设备及介质在说明书摘要公布了:本发明公开了一种基于可逆水印的大模型生成代码溯源方法、系统、设备及介质,属于计算机软件技术领域。本发明首先利用适用性分析器对给定代码进行代码转换适用性验证,识别适用的代码转换方式。随后基于给定盐值对适用的转换方式组成的序列进行重排序,并通过选择性应用这些转换,系统化地完成生成代码的水印嵌入。接着给定一段待验证的代码,通过双向状态验证与纠错解码相结合的方式,系统化地识别并验证所应用的转换,提取水印信息并进行错误修正,最终根据提取到的水印实现生成模型的溯源。本发明克服了现有技术中依赖先验知识、水印提取错误率高以及无法有效溯源生成代码模型的技术局限性,为代码生成领域提供了更高的安全性和可追溯性保障。
本发明授权一种基于可逆水印的大模型生成代码溯源方法、系统、设备及介质在权利要求书中公布了:1.一种基于可逆水印的大模型生成代码溯源方法,其特征在于: 步骤1:对给定代码进行可逆语义保持转换适用性分析RSPT,生成适用转换规则集合;所述可逆语义保持转换适用性分析RSPT具体为:把一个等价语义转换规则记作,其中和是两个抽象化的代码模式;在传统的等价语义转换范式中,将视作一个完整的等价语义转换规则,在RSPT中,一个RSPT转换规则由两个对称的等价语义转换规则所构成,一个RSPT规则记作,和分别对应中的两个SPT规则;因此,一个RSPT规则表明,任有一段代码,其中任有代码片段,则有:互换性:;幂等性:;交换性:=;在RSPT范式下,一段代码内的所有和是能够完全互相转化的,因此,无论原始代码内存在的代码形式是否自然等价于或,或者二者同时存在,都能够将其转换为单一的固定形式或;具体过程如下: 1适用性分析算法将代码解析为具体语法树; 2适用性分析算法在上通过语法树节点搜索的方式检查规则的适用性,如果规则的子规则或在上存在任意数量与之相对应的节点,则被视为适用于; ; 其中,表示适用于,和是位于具体语法树上的节点,表示存在节点与所适配的节点集合相关联; 3将步骤2中适用于代码的转换规则加入到适用于当前代码的转换规则集合中; 步骤2:对大模型设定特定盐值,对中的每个规则,计算规则名称与进行字符串拼接后的值,将所有值从大到小对规则排序,生成有序转换规则序列; 步骤3:对大模型设定对应水印信息,通过BCH生成编码后的水印信息,并根据的对应位bit值选择对应的可逆语义转换子规则或; 步骤4:根据步骤2将选定的转换子规则按序应用于给定代码中,生成得到嵌入水印后的代码; 步骤5:对嵌入水印后的代码或未知来源的代码进行可逆语义保持转换适用性分析,生成提取阶段的适用转换规则集合; 步骤6:根据提取阶段大模型特定的盐值,对中的每个规则,计算规则名称与进行字符串拼接后的值,将所有值从大到小对规则排序,生成有序转换规则序列; 步骤7:对预期水印信息进行BCH编码,生成编码后的预期水印信息; 步骤8:根据步骤6对选定的转换子规则序列中的每个规则进行检查,代码在应用规则和后的状态,确定对应规则表达的bit值; 步骤9:顺序检查有序转换规则序列内的每个规则,从中提取水印信息; 步骤10:使用BCH解码算法,对进行解码,尝试恢复原始水印信息; 步骤11:通过比对原始水印信息和预期水印信息,实现对生成代码的判定以及生成模型的追溯,进而判明代码的来源。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人哈尔滨工程大学,其通讯地址为:150001 黑龙江省哈尔滨市南岗区南通大街145号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

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