期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
智能合约安全漏洞检测技术研究
被引量:
4
原文传递
导出
摘要
智能合约安全漏洞检测已成为区块链技术应用中亟待解决的问题,本文概述了智能合约的概念,总结了智能合约中常见的安全漏洞,并归纳了智能合约安全漏洞检测的主要方法。
作者
高健博
刘宏义
李青山
陈钟
机构地区
北京大学信息科学技术学院区块链研究中心
出处
《保密科学技术》
2020年第1期22-25,共4页
Secrecy Science and Technology
关键词
区块链
智能合约
漏洞
检测技术
分类号
TP309 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
21
引证文献
4
二级引证文献
6
同被引文献
21
1
唐志斌.
网络数据采集及安全审计技术研究综述[J]
.网络新媒体技术,2020,0(1):11-20.
被引量:10
2
陈聪明,霍玮,于洪涛,冯晓兵.
基于包含的指针分析优化技术综述[J]
.计算机学报,2011,34(7):1224-1238.
被引量:10
3
戴钰涵.
基于互联网的个人医疗解决方案——传统医疗服务的改良与升级[J]
.中国管理信息化,2016,19(2):225-226.
被引量:6
4
胡凯,白晓敏,高灵超,董爱强.
智能合约的形式化验证方法[J]
.信息安全研究,2016,2(12):1080-1089.
被引量:64
5
可信区块链推进计划第一次工作会议召开[J]
.网络新媒体技术,2018,7(3):64-65.
被引量:2
6
叶志斌,严波.
符号执行研究综述[J]
.计算机科学,2018,45(B06):28-35.
被引量:19
7
李莉,周斯琴,刘芹,何德彪.
基于区块链的数字版权交易系统[J]
.网络与信息安全学报,2018,4(7):22-29.
被引量:21
8
顾欣,徐淑珍.
区块链技术的安全问题研究综述[J]
.信息安全研究,2018,4(11):997-1001.
被引量:8
9
贺海武,延安,陈泽华.
基于区块链的智能合约技术与应用综述[J]
.计算机研究与发展,2018,55(11):2452-2466.
被引量:255
10
毕晓冰,马兆丰,徐明昆.
区块链智能合约安全开发技术研究与实现[J]
.信息安全与通信保密,2018,16(12):63-73.
被引量:9
引证文献
4
1
董东.
智能合约设计模式[J]
.河北省科学院学报,2021,38(1):60-65.
被引量:1
2
李宗鸿,胡大裟,蒋玉明.
面向智能合约漏洞检测的改进符号执行研究[J]
.计算机应用研究,2021,38(7):1943-1946.
被引量:3
3
吕朋辉,张金娈,王瑜,杨柳青,汪晗,王雅哲,周启惠.
基于静态分析的Fabric智能合约安全检测[J]
.网络新媒体技术,2022,11(1):57-66.
被引量:2
4
廉应生,莫晶亮,邱钊,杨子睿,杨磊,卢本本.
基于联盟链的安全可信电子病历智能合约设计[J]
.数据挖掘,2022,12(3):272-279.
二级引证文献
6
1
李雷孝,郑岳,高昊昱,熊啸,牛铁铭,杜金泽,高静.
智能合约漏洞检测研究综述[J]
.计算机科学与探索,2022,16(11):2456-2470.
被引量:6
2
沈承楠,陈灿福.
基于物联网的农情监测与集市交易系统设计[J]
.软件,2022,43(10):60-64.
被引量:1
3
陈虹,王颖辉,金海波,曹玥.
区块链拍卖退款交易智能合约DoS漏洞优化研究[J]
.计算机应用研究,2023,40(2):343-348.
被引量:2
4
冯航伟,王劲林,李杨.
基于布谷鸟过滤器的区块链检索结构[J]
.网络新媒体技术,2023,12(1):38-44.
5
陶昀翔,王钧.
基于区块链的学分信息上链模型及实现[J]
.安徽师范大学学报(自然科学版),2024,47(1):20-26.
6
朱旭彤,马华伟,胡笑旋.
区块链技术赋能卫星产业:优势、挑战与对策[J]
.无线电工程,2024,54(4):791-803.
被引量:2
1
王迅.
关于计算机软件安全漏洞检测技术研究[J]
.商业2.0(经济管理),2020(2):0057-0057.
2
朱婷婷.
计算机网络安全的漏洞及防范措施[J]
.数码世界,2020,0(4):232-233.
被引量:1
3
陈晋音,叶林辉,郑海斌,杨奕涛,俞山青.
面向语音识别系统的黑盒对抗攻击方法[J]
.小型微型计算机系统,2020,41(5):1019-1029.
被引量:10
保密科学技术
2020年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部