【摘 要】
：
区块链中的智能合约具有不可篡改性、去中心化、自治化等优点,使分散应用程序能够在缺乏信任的环境中实现交互和融合.若智能合约自身存在安全隐患,可能会威胁到用户的个人信
【机 构】
：
郑州大学 信息工程学院,郑州450001
论文部分内容阅读
区块链中的智能合约具有不可篡改性、去中心化、自治化等优点,使分散应用程序能够在缺乏信任的环境中实现交互和融合.若智能合约自身存在安全隐患,可能会威胁到用户的个人信息和财产安全,造成难以预估的损失.针对智能合约存在的安全问题,提出了基于时间自动机的区块链智能合约安全性的逆向模型检测方法.采用逆向方法对以太坊中的智能合约源代码进行分析,提取合约的逻辑流程,并进一步分析合约是否存有明显的安全隐患,若有则对合约代码进行优化或改进;针对智能合约采用模型检测的方法进行合约建模、性质刻画及自动验证.若验证通过则证明改进合约满足安全性质,否则通过反例找出代码漏洞继续对合约进行优化.以投票合约为实例对所提逆向方法进行具体介绍,证明了所提方法的有效性,能够保证改进后的投票合约系统的完备性与安全性.
其他文献
利用高分卫星和环境减灾卫星影像数据多光谱、多时相、高分辨率优势,对2016年"7·19"暴雨前后河北省中南部主要水库水域面积的变化情况和暴雨后过水区域面积进行了监测分析。结合实地调查,依据暴雨灾害发生前后遥感影像特征的变异,建立水淹区域分类特征(如光谱反射率、纹理特征等),使用最大似然法对遥感数据进行监督分类提取过水区域信息,并人机交互对分类结果进行修正,确定成灾过水面积。分析结果表明:暴雨过后,
简要介绍一种用于针梳生产工艺申的多班计数器。它具有予置、测量、控制及显示等多种功能。重点介绍断电保护和显示接口电路。
A brief introduction of a multi-unit count
“山外青山楼外楼,西湖歌舞几时体.暖风熏得游人醉,直把杭州当汴州.”rn一曲,从遥远的南宋传来,袅袅余音.至今不绝.rn写这首诗的作者是南宋的一个晋江人.这个人名叫林外.名叫
针对在实际应用中可能由于人为或其他因素造成某个粒度下属性值变化的问题,研究了某个粒度下属性值变化时最优粒度的选择策略,并根据理论研究内容设计了相应的静态和动态最优
回复式神经网络是深度学习领域中一类非常强大的神经网络模型,它主要用于处理和预测序列数据.得益于回复式神经网络的“记忆”功能,它和它的变体网络已经被成功应用于多种任
针对鲸鱼优化算法收敛速度慢、收敛精度低以及易陷入局部最优等问题,提出一种基于精英反向和纵横交叉的鲸鱼优化算法(ECWOA).该算法首先通过精英反向学习策略初始化种群,以提
我县南屏公社南屏大队河排生产队,在三大革命斗争中,经过长期摸索和实践,积累了丰富的抗寒育秧经验。从1965年以来,连续12年的早造基本上没有出现过烂秧现象。特别是近几年
用户隐私安全问题正成为制约推荐服务发展应用的障碍.本文以图书推荐为例,构建实现了用户隐私安全的图书推荐服务,其基本思想是:在可信客户端精心伪造用户配置文件,以模糊用
生物网络比对是一种常用的研究生物分子间相互作用的方法,也是分析物种间功能差异的重要手段,有助于更好地理解生物进程及功能.本文提出的ConAlign是一种快速且有效的多对多