-
题名以太坊Solidity智能合约漏洞检测方法综述
被引量：9
- 1
-
-
作者
张潆藜
马佳利
刘子昂
刘新
周睿
-
机构
兰州大学信息科学与工程学院
-
出处
《计算机科学》
CSCD
北大核心
2022年第3期52-61,共10页
-
基金
国家重点研发计划(2020YFC0832500)
甘肃省科技重大专项创新联合体项目(项目号1)
+3 种基金
国家自然科学基金(61402210)
青海省科技计划(2020-GX-164)
教育部-中国移动科研基金项目(MCM20170206)
兰州大学中央高校基本科研业务费专项资金(lzujbky-2021-sp47,lzujbky-2020-sp02,lzujbky-2019-kb51,lzujbky-2018-k12)。
-
文摘
以太坊Solidity智能合约基于区块链技术,作为一种旨在以信息化方式传播、验证或执行的计算机协议,为各类分布式应用服务提供了基础。虽然落地还不足6年,但因其安全漏洞事件频繁爆发,且造成了巨大的经济损失,使得其安全性检查方面的研究备受关注。首先基于以太坊相关技术对智能合约的一些特殊机制和运行原理进行介绍,并根据智能合约的自身特性对一些出现频率较高的智能合约漏洞进行分析,然后从符号执行、模糊测试、形式化验证和污点分析等方面分类阐述了传统的主流智能合约漏洞检测工具。此外,为了应对层出不穷的新型漏洞以及提高漏洞检测效率的需求,将近年来基于机器学习的漏洞检测技术依据其问题转化方式的不同做了分类总结,并从文本处理、非欧几里得图和标准图像3个角度进行了简要介绍。最后,针对两类检测方向的不足之处,提出了建立相关标准化、规范化信息库以及衡量指标的建议。
-
关键词
智能合约
区块链
安全漏洞
漏洞检测工具
机器学习
-
Keywords
Smart contracts
Blockchain
Security vulnerability
vulnerability detection tools
Machine learning
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名融合LSTM目录获取的Web漏洞检测方案
- 2
-
-
作者
黄长江
冯景瑜
王侃
安宇航
翟天旭
苏恒涛
-
机构
西安邮电大学网络空间安全学院
空军工程大学教研保障中心
-
出处
《信息安全研究》
CSCD
北大核心
2024年第9期824-832,共9页
-
基金
陕西省重点研发计划项目(2024GX-YBXM-076)。
-
文摘
针对当前漏洞检测方案在目录获取能力和漏洞检测范围的不足,提出了融合长短时记忆网络(LSTM)目录获取的Web漏洞检测方案,集成Arjun参数爆破高效获取基础目录路径,提出融合LSTM的目录获取方案,生成模糊目录路径,构造总体目录路径池,穿透隐藏目录,达到在短时间内获取更多有效目录路径数的目的.为解决当前漏洞检测方案难以覆盖非典型Web漏洞这一问题,将已提出的方案实现为一款自动化通用漏洞检测及验证工具,适用于典型及非典型漏洞,赋予其目录获取、漏洞检测及绕过Cookie, IP封锁等功能.实验仿真结果表明,该方案比典型目录爆破工具能够获取更多的有效目录路径,具备出色的目录获取能力,能以高效率、低误报率检测和覆盖更多类型的Web漏洞.
-
关键词
WEB安全
漏洞检测
长短时记忆网络
黑盒测试
自动化工具
-
Keywords
Web security
vulnerability detection
LSTM
black box testing
automated tools
-
分类号
TP393.0
[自动化与计算机技术—计算机应用技术]
-
-
题名智能合约安全漏洞及检测技术综述
被引量：1
- 3
-
-
作者
闫凯伦
刁文瑞
郭山清
-
机构
山东大学网络空间安全学院
山东大学密码技术与信息安全教育部重点实验室
-
出处
《信息对抗技术》
2023年第3期1-17,共17页
-
基金
山东省泰山学者青年专家项目(tsqn202211001)。
-
文摘
智能合约是去中心化生态中的重要组件,它降低了多方合作的信任成本,因而广泛应用于数字货币和金融等领域。智能合约在区块链上自动执行,具有不可修改和不可中止的特性,合约常常持有大量数字资产,一旦存在漏洞就有可能会造成巨大损失。随着智能合约技术的发展,合约漏洞开始从简单的语法漏洞向复杂的逻辑漏洞转变,触发漏洞的条件也可能从单一的交易演变为特定的交易序列。目前,各种针对合约的攻击层出不穷,因此开发出有效的合约漏洞检测工具显得尤为重要。为此,首先介绍了11个著名的智能合约漏洞;然后从静态分析和动态分析2个方面介绍了21个合约漏洞检测技术和工具,并从检测方法、研究对象、检测能力等方面对比这些工具,讨论了它们的优点和不足;最后,结合当前合约的安全现状展望了未来的研究工作。
-
关键词
智能合约
区块链
漏洞检测
自动化工具
-
Keywords
smart contracts
blockchain
vulnerability detection
automated tools
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
