Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 积分商城 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 烟台大学赵相福获国家专利权

烟台大学赵相福获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉烟台大学申请的专利基于类型感知与图增强的智能合约漏洞检测方法、系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN120671153B

龙图腾网通过国家知识产权局官网在2025-10-24发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202511186593.X,技术领域涉及:G06F21/57;该发明授权基于类型感知与图增强的智能合约漏洞检测方法、系统是由赵相福;张佳睿;王腾飞;沈心怡;张文轩设计研发完成,并于2025-08-25向国家知识产权局提交的专利申请。

基于类型感知与图增强的智能合约漏洞检测方法、系统在说明书摘要公布了:本发明属于智能合约漏洞检测技术领域,具体涉及基于类型感知与图增强的智能合约漏洞检测方法、系统,首先对待测智能合约的漏洞类型进行快速分类,随后,针对不同类型的漏洞构建相应的图结构,为了解决不同图结构之间语义割裂的问题,进行图融合操作,得到融合语义图,再将融合语义图信息嵌入到提示语中,以增强大语言模型对合约的理解能力,引导模型进行更深入的语义理解与漏洞识别,且融合语义图的加入使大语言模型能更精准地识别多漏洞耦合路径,最后,通过对大语言模型输出的检测结果进行交叉验证和逻辑质疑,进一步提升漏洞识别的可信度与鲁棒性。

本发明授权基于类型感知与图增强的智能合约漏洞检测方法、系统在权利要求书中公布了:1.一种基于类型感知与图增强的智能合约漏洞检测方法,其特征在于,包括: S1:对待测智能合约进行初步判断,识别可能存在的漏洞类型,并将其划分至预定义漏洞类型; 预定义漏洞类型包括:重入攻击、时间戳依赖、整数溢出和或委托调用漏洞; S2:对不同类型的漏洞,执行相应的图结构提取操作,构建适配漏洞类型的图结构; 图结构的所有节点执行统一索引编码,编码格式为[图类型]-[节点ID]-[源码位置];同时建立节点属性数据库,记录每个节点的功能属性特征、关联源码片段特征和依赖关系特征; 基于索引和节点属性数据,不同图结构的节点依次按照源码位置匹配度、功能依赖匹配度、语义向量匹配度的优先级顺序进行关联,得到相应的源码位置关联、依赖关联、语义关联节点类型,具体为: 对任意两个不同图结构的节点,解析索引中的源码位置字段,提取起始行号与结束行号;根据公式:重叠度=重叠行数两节点行号区间总长度,计算重叠度,若重叠度大于预设重叠度,则该节点类型标记为源码位置关联节点; 若重叠度不大于预设重叠度,则从节点属性数据库提取功能属性特征,建立“操作-被操作”角色对;通过调用栈与数据流链,逆向追溯两个不同图结构节点的“操作-被操作”依赖关系,得到依赖链,根据依赖链的链长计算功能依赖匹配度,若功能依赖匹配度大于预设功能依赖匹配度,则该节点类型标记为依赖关联节点; 若功能依赖匹配度不大于预设功能依赖匹配度,则提取节点的关联源码片段特征,转换为向量后,计算余弦相似度并作为语义向量匹配度,将余弦相似度大于预设相似度的节点的类型标记为语义关联节点; 根据节点类型,节点之间进行连接,生成融合语义图表示; 融合语义图表示与待测智能合约源码和结构化提示词进行拼接,生成拼接提示词; S3:调用大语言模型对拼接提示词进行结构化语义增强分析,输出检测结果; S4:检测结果经验证模型进行审查,生成质疑数据,并反馈至大语言模型; 拼接提示词和质疑数据融合后,大语言模型利用注意力机制动态调整融合数据各路径的关注权重,重新输出检测结果,执行S4,直至不再生成质疑数据或达到预设轮次。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人烟台大学,其通讯地址为:264005 山东省烟台市莱山区清泉路30号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。