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

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

在线咨询

联系我们

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

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

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

龙图腾网获悉烟台大学申请的专利基于时序场景的智能合约漏洞检测方法、系统和设备获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN120124076B

龙图腾网通过国家知识产权局官网在2025-07-08发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510621721.2,技术领域涉及:G06F21/57;该发明授权基于时序场景的智能合约漏洞检测方法、系统和设备是由赵相福;沈心怡;何龙;王腾飞;张佳睿;张文轩;佟蕾设计研发完成,并于2025-05-15向国家知识产权局提交的专利申请。

基于时序场景的智能合约漏洞检测方法、系统和设备在说明书摘要公布了:本发明涉及电数字处理中智能合约漏洞检测技术领域,具体为基于时序场景的智能合约漏洞检测方法、系统和设备;为解决现有技术中智能合约漏洞检测准确度低的问题,本发明首先在操作码层面构建了控制流图,并通过遍历控制流图的路径提取含有时序信息的执行场景,进一步聚合存在公共部分片段的节点,得到时序场景图;然后,设计了创新的操作码更新方法和特征降维方法,得到降维时序场景图;最后,将节点特征向量与对应路径的邻接矩阵结合,经图卷积处理,整合路径漏洞检测结果,得到智能合约漏洞检测结果;该方法运用到智能合约中整数溢出漏洞、重入漏洞以及区块依赖漏洞的检测中,能够显著提高准确率、精确度、召回率以及F1得分。

本发明授权基于时序场景的智能合约漏洞检测方法、系统和设备在权利要求书中公布了:1.一种基于时序场景的智能合约漏洞检测方法,其特征在于,包括如下操作: S1、将待检智能合约的字节码反汇编为操作码序列,将操作码序列划分基本块,根据跳转指令的地址参数建立基本块间的跳转关系,得到控制流图; 获取控制流图中从根节点到尾节点的所有路径,形成了路径集合;遍历路径集合中的每个路径,将与其他路径存在公共部分片段的路径,作为待抽象路径;将待抽象路径中的公共部分片段聚合为单一节点,得到时序场景图; S2、根据操作码格式和类型,更新时序场景图中每个节点的操作码,得到更新时序场景图;将更新时序场景图中每个节点的进行特征降维处理,得到降维时序场景图; S3、将降维时序场景图中的每个节点进行特征映射处理,得到节点特征向量;将降维时序场景图中,属于同一路径的所有节点特征向量进行拼接,得到每个路径的路径特征向量;基于降维时序场景图中同一路径上节点连接关系,获取每个路径的邻接矩阵; 每个路径的邻接矩阵和路径特征向量,经图卷积处理,得到路径漏洞检测结果;基于路径漏洞检测结果,得到智能合约漏洞检测结果。

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

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