基于跨合约控制流图的智能合约漏洞检测方法和系统

    公开(公告)号:CN119885208A

    公开(公告)日:2025-04-25

    申请号:CN202510369114.1

    申请日:2025-03-27

    Applicant: 烟台大学

    Abstract: 本发明涉及电数据处理技术领域,具体为基于跨合约控制流图的智能合约漏洞检测方法和系统;为解决现有技术中智能合约误报率和漏报率较高的技术问题,本发明将存在着调用关系的多个智能合约的控制流图进行相连,生成跨合约控制流图,通过构建跨合约控制流图来解决智能合约间不同的调用路径和交互,更清晰地捕捉智能合约的执行逻辑和潜在的漏洞;并基于跨合约控制流图中,智能合约的执行逻辑以及智能合约之间的调用关系,并针对不同的漏洞,设计不同的漏洞检测规则,对智能合约进行漏洞检测,得到漏洞检测结果,与其他先进现有漏洞检测方法进行比较发现,本发明漏洞检测方法可以检测跨合约漏洞,误报率和漏报率低,有效提高了漏洞检测的精确度。

    基于约束引导模糊测试的智能合约漏洞检测方法和系统

    公开(公告)号:CN118760606B

    公开(公告)日:2024-12-20

    申请号:CN202411110087.8

    申请日:2024-08-14

    Applicant: 烟台大学

    Inventor: 赵相福 何龙

    Abstract: 本发明涉及智能合约漏洞检测领域,具体为一种基于约束引导模糊测试的智能合约漏洞检测方法和系统,采用约束引导灰盒模糊测试的方式对智能合约进行漏洞检测,对智能合约的数据流和控制流进行静态分析,基于静态分析结果引入一种全新的智能合约约束模板,并将约束模板以代码插桩的方式分别插入到对应的分支节点的前或后位置,对智能合约的执行进行引导,确保模糊测试在覆盖目标代码的同时容易到达目标代码位置,满足所需的执行状态。根据函数调用序列设置模糊器中函数的测试顺序和优先级,以在最短时间内发现漏洞,可以降低模糊测试的时间消耗,提高漏洞检测的效率。

    基于语义信息引导模糊测试的智能合约漏洞检测方法

    公开(公告)号:CN117909988B

    公开(公告)日:2024-06-28

    申请号:CN202410011599.2

    申请日:2024-01-04

    Applicant: 烟台大学

    Abstract: 本发明涉及网络安全技术领域,具体为基于语义信息引导模糊测试的智能合约漏洞检测方法,该检测方法根据待检智能合约中函数之间的关系确定目标函数;然后,对目标函数进行空间压缩、空间分裂和空间降维,得到多个降维子空间;接着,对每个降维子空间中的每个未赋值输入变量进行赋值,将赋值后的输入变量与历史已赋值变量组结合后,进行判断,仅生成高质量的测试用例;最后,将所有高质量的测试用例去攻击待检智能合约,得到漏洞检测结果;该检测方法生成的测试用例的质量,优于现有基于模糊测试的检测方法,在低路径覆盖率的基础上,具有较高的检测准确率,说明该检测方法具有高检测准确率和高检测效率。

    一种基于中间表示的智能合约漏洞检测方法、系统和设备

    公开(公告)号:CN118194294A

    公开(公告)日:2024-06-14

    申请号:CN202410304571.8

    申请日:2024-03-18

    Applicant: 烟台大学

    Abstract: 本发明涉及网络安全技术领域,具体为一种基于中间表示的智能合约漏洞检测方法、系统和设备;该检测方法,将待检智能合约的Solidity代码转换为中间表示,既简化了合约分析过程,又能够保留Solidity源代码中的重要语义信息,在保证漏洞分析准确的基础上,减小计算量,提高计算稳定性;该检测方法将中间表示与不同漏洞检测逻辑结合,分别对重入漏洞、拒绝服务漏洞检测和交易顺序依赖漏洞进行检测,检测结果具有较高的精确率、召回率和F1分数。

    一种基于神经网络的智能合约漏洞检测方法

    公开(公告)号:CN116702157A

    公开(公告)日:2023-09-05

    申请号:CN202310741124.4

    申请日:2023-06-21

    Applicant: 烟台大学

    Abstract: 本发明涉及网络安全技术领域,具体为一种基于神经网络的智能合约漏洞检测方法;该检测方法通过简化和聚合处理控制流图,剔除和合并了一些非关键节点,突出关键节点和执行顺序,进而将控制流图转化为合约树图,在保留了合约信息的完整性基础上,理清合约执行路径,提高消息传递效率,节点特征提取最大程度保留了合约的语义信息,将得到的节点特征向量进行卷积、池化处理,能够最大化提取合约信息,最后经分类处理,得到漏洞存在结果,该方法在确保不丢失关键信息的基础上,提高检测效率和准确率;且该检测方法在检测重入漏洞、自毁漏洞、委托调用漏洞、交易顺序依赖漏洞、时间戳依赖漏洞和整数溢出漏洞方面,具有较高的准确率和精确度。

    一种跨合约漏洞的检测方法、系统和设备

    公开(公告)号:CN116663012A

    公开(公告)日:2023-08-29

    申请号:CN202310627115.2

    申请日:2023-05-31

    Applicant: 烟台大学

    Abstract: 本发明涉及网络安全技术领域,具体为一种跨合约漏洞的检测方法、系统和设备,静态的抽象了智能合约的主要信息,获取能够指定攻击方向候选攻击对序,将候选攻击对序与带有攻击性的模板合约结合,生成攻击合约,使用攻击合约动态攻击智能合约,根据不同攻击结果,检测智能合约当中的跨合约漏洞,该检测方法能有效的检测智能合约中是否存在这重入漏洞或者委托调用漏洞。实验结果显示,该检测方法具有高精确率和综合测评率、0误报率和低时间开销。

    一种多智能体博弈对抗的异构任务优化方法及系统

    公开(公告)号:CN119139704A

    公开(公告)日:2024-12-17

    申请号:CN202411659231.3

    申请日:2024-11-20

    Applicant: 烟台大学

    Abstract: 本发明涉及多智能体控制技术领域,尤其是涉及一种多智能体博弈对抗的异构任务优化方法及系统。方法,包括获取博弈双方智能体可观测信息,基于获取的博弈双方智能体可观测信息,利用actor‑critic网络结构生成当前环境下的状态集合,将经验缓存区中的数据顺序打乱并重新编号,并抽取数据结合认知理论对actor‑critic网络结构进行训练。本发明通过先获取博弈双方智能体可观测信息,进而将状态观测数据传递给中心控制器,训练完后智能体就可以不再与中心控制器通信,可以基于自己的局部观测状态通过自己的动作策略函数来产生最优动作。

Patent Agency Ranking