【摘 要】
：
近年来,以智能合约为代表的第二代区块链平台及应用出现了爆发性的增长,但频发的智能合约漏洞事件严重威胁着区块链生态安全。针对当前主要依靠基于专家经验的代码审计效率低
【机 构】
：
中国解放军陆军工程大学指挥控制工程学院
【基金项目】
：
国家重点研发计划项目(2017YFB0802900)~~
论文部分内容阅读
近年来,以智能合约为代表的第二代区块链平台及应用出现了爆发性的增长,但频发的智能合约漏洞事件严重威胁着区块链生态安全。针对当前主要依靠基于专家经验的代码审计效率低下的问题,提出开发通用的自动化工具来挖掘智能合约漏洞的重要性。首先,调研并分析了智能合约面临的安全威胁问题,总结了代码重入、访问控制、整数溢出等10种出现频率最高的智能合约漏洞类型和攻击方式;其次,讨论了主流的智能合约漏洞的检测手段,并梳理了智能合约漏洞检测的研究现状;然后,通过实验验证了3种现有符号执行工具的检测效果。对于单一漏洞类型,漏报率最
其他文献
目的·探讨2型糖尿病患者心率变异性(heart rate variability,HRV)降低的相关危险因素。方法·选取上海交通大学附属第一人民医院2013年1月—2014年12月收治的210例2
“绿色体育”理念的提出距今已有十多年,绿色体育在内涵、价值、伦理等方面都有一定的拓展性研究.但绿色体育在发展过程中同样还遇到了如生态危机、商业化、假体育等诸多因素
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
因矿井通风系统影响因素信息的不完全性,以及各评价指标的灰关联性,难以综合选取最优的通风方案构建矿井通风系统综合评价指标体系。基于灰色系统理论以及模糊数学理论,分别