刊名:智能城市
曾用名:现代生活用品
主办:辽宁省科学技术情报研究所
主管:辽宁省科学技术厅
ISSN:2096-1936
CN:21-1602/N
语言:中文
周期:半月刊
影响因子:0
被引频次:9440
数据库收录:
国家哲学社会科学学术期刊数据库;期刊分类:自科综合
期刊热词:
施工技术,建筑工程,城市,高速公路,建筑,施工管理,水利工程,智慧城市,建筑设计,大数据,施工技术,建筑工程,施工管理,大数据,城市,公路工程,物联网,城市轨道交通,BIM技术,人工智能,智慧城市,智能建筑,BIM技术,城市,BIM,城市建设,物联网,智能化,智能设计,城市规划,
文章摘要:智能合约技术作为区块链2.0的里程碑,受到学术界与企业界的广泛关注。由于其运行在不具有可信计算环境的底层基础设施上,并且具有区别于传统程序的特性,其在本身安全性上存在许多影响深远的漏洞,针对其进行安全审计的研究也成为了区块链安全领域的热门与亟需解决的关键科学问题。针对智能合约漏洞检测与自动修复,首先对智能合约漏洞主要漏洞类型与分类做了介绍;然后,调研回顾了近五年智能合约漏洞检测三类最重要的方法,并介绍了每类方法具有代表性和创新性的研究技术;其次,详细介绍了智能合约升级方案与具有前沿性的自动化修复技术;最后,分析与展望了面向在线、实时、多平台、自动化与智能化需求下的智能合约漏洞检测与自动化修复技术的挑战与未来可展开的工作,并提出技术解决方案的框架。
文章关键词:
论文作者:童俊成 赵波
作者单位:武汉大学国家网络安全学院
论文分类号:TP311.13;TP309
文章来源:《智能城市》 网址: http://www.zncszz.cn/qikandaodu/2022/0523/2303.html