【摘 要】
：
智能合约是区块链平台实现交易的重要组件,为多方交易间信任问题提供了一种有效的解决方案.智能合约不仅管理高价值代币还具有不可更改等特性,导致近年来智能合约多次遭受安全威胁.目前出现了大量关于智能合约安全性的研究,其中智能合约漏洞检测成为主要关注点.文中系统分析了智能合约安全问题,从是否执行合约的角度将漏洞检测工具分为静态检测工具和动态检测工具,并对检测工具进行对比分析,重点分析现有检测工具的漏洞检测能力,介绍了 16种检测技术的原理及优缺点;最后,对如何提高智能合约安全性进行展望,提出了 3个可能提高智能合
【机 构】
：
扬州大学信息工程学院 江苏扬州225127
论文部分内容阅读
智能合约是区块链平台实现交易的重要组件,为多方交易间信任问题提供了一种有效的解决方案.智能合约不仅管理高价值代币还具有不可更改等特性,导致近年来智能合约多次遭受安全威胁.目前出现了大量关于智能合约安全性的研究,其中智能合约漏洞检测成为主要关注点.文中系统分析了智能合约安全问题,从是否执行合约的角度将漏洞检测工具分为静态检测工具和动态检测工具,并对检测工具进行对比分析,重点分析现有检测工具的漏洞检测能力,介绍了 16种检测技术的原理及优缺点;最后,对如何提高智能合约安全性进行展望,提出了 3个可能提高智能合约安全性的研究方向.
其他文献
母语思维是二语写作研究领域的热点话题,然而母语思维在二语写作中有何作用一直存在争议.采用有声思维、回述、访谈等方法,对7名高职学生英语写作中的母语思维变化进行对比分析,探讨了不同思维活动中母语参与量的变化趋势,发现:经过一学期的英语学习,学生在写作中的整体母语参与量有所下降,在过程控制、结构构思和内容构思等思维活动中变化较小,对母语有较大依赖,而在文本输出思维活动中母语参与量下降较为明显.还重点对文本输出层面不同类型思维活动中母语参与量的变化做进一步分析,发现对词语、句型等表达形式等进行检索、选择或者修正
产出导向法的提出和应用为解决大学英语读写分离的困境找到了出路.但有研究表明,产出导向法由于过程复杂,且对学习者的英语水平要求较高,因而对英语水平不高的学生而言效果存疑.基于以某高职院校学生为研究对象、运用产出导向法的一次实验结果,重点关注了该理论体系评价环节中适合该群体的评价方式,指出师生合作共评应作为该理论体系应用于高职院学生群体时的主要评价方式.
探讨高职学生在线课程学习体验,可以提升高职院校在线课程教学质量和人才培养质量,促进高职教育教学改革.使用爬虫软件搜集微博平台上高职学生在线课程学习的评论,对采集的文本数据进行清洗、分词、词频统计、词云绘制和情感分析,发现高职学生虽然较为认可在线课程学习方式,但其在线课程学习体验不容乐观,线上教学并不能完全取代线下教学;学习任务重、注意力不集中、自律性差、听课效率低、学习软件过多等问题在一定程度上拉低了学生的在线课程学习体验.为提升高职学生在线课程学习体验,应关注学生在线学习毅力水平,提高学生在线学习动机,
创新型人才是创新型经济发展的核心要素,大力推进实施双创教育是培育创新型人才的重要途径.在对美国三所典型高校双创教育人才培养模式及其特征进行深入分析的基础上,结合现阶段我国高校双创教育推进过程中存在的问题,提出要深刻认识双创教育对培养创新型人才的重大意义、加强双创教育向全社会辐射扩展、实施分层分类教学提升双创教育成效、以产教融合保证双创教育成果转化四点经验借鉴,以期进一步提升我国高校双创教育教学成效,切实提高创新型人才培养质量,从而为推动我国创新型国家建设和经济高质量发展提供更多优质人才支撑.
通过对高职贫困大学生幸福感的现状进行调查,认为高职贫困生受到认知理念、人格特征、行为能力等主观因素及社会支持、经济状况、应激事件、家庭因素、人际关系等客观因素的影响.鉴于提升高职贫困生幸福感对于个人、社会、国家有着重要意义,提出帮助学生树立正确的三观、完善学生认知、培养学生正确的幸福观、帮助学生设立合理的幸福指标、培养学生提升幸福感的能力、全方位助力形成提升贫困生幸福感合力的工作策略.
5G时代的到来给新兴信息产业的信息安全问题带来了新的挑战,现有的安全技术已不能满足5G时代下特定场景对毫秒级认证、可信认证等的相关需求.因此,以CFL技术为信息安全原点技术,提出了 CFL_BLP_BC模型.CFL_BLP_BC模型在局部修改原BLP模型安全公理的基础上,结合区块链技术对该模型的基本元素、安全公理和状态转换规则进行了形式化描述.该模型不仅支持信息安全五性,而且具有毫秒级、指令级、实证制等信息安全属性.该模型支持内生安全、先天免疫、主动防御技术,可为当今网络空间新兴信息产业提供重要的理论指标
高校思想政治工作体系是一个内部要素众多的整体运作机体,红色文化融入思政工作体系有助于全面贯彻党的教育方针,牢固树立大学生“四个意识”、坚定“四个自信”,也有助于落实文化育人理念,坚持社会主义办学方向,丰富中国特色教育体系.基于对二者融合的内在逻辑认识,分析红色文化作为介入主体和高校思政工作体系作为融入主体二者的现存困境,提出要从构建以党委统领、党团联动的制度机制和强化高校红色文化思想阵地两个着力点精准发力.
区块链即服务是将区块链框架嵌入到云计算平台的一种新型应用方式,能够有效利用云平台提高区块链系统部署和运营的便捷性和高效性.文中主要对区块链即服务(BaaS)的关键技术和现有平台系统进行了全面的分析总结.首先介绍了BaaS的概念和平台功能,分析了 BaaS平台在提高安全性能、实现个性定制和降低开发成本等方面具有的优势;然后基于现有商业化BaaS平台详细介绍了 BaaS平台的系统架构和关键技术架构,并介绍了当前主流的BaaS平台的特性技术和功能,以及相关应用场景;最后,在整理当前BaaS平台遇到的挑战问题的同
针对目前互联网上虚假信息盛行,患者在互联网上交流时无法保证共享信息真实性的问题,提出了一种基于区块链的患者在线交流模型,患者可以匿名与其他患者共享真实的医疗数据并进行交流.首先,使用患者的数字身份保护隐私,将患者交流所需要的医疗摘要数据上传至区块链,并且公开全部数据以供检索,可以使患者检索到需要的病例而不会定位到具体的患者;其次,为了避免授权人员的恶意上传行为,设定智能合约对数据上传进行多重身份认证,医生和患者相互制约,保证链上数据全部真实可靠;最后,改进的RAFT共识算法可以快速识别拜占庭节点从而更好地
区块链技术可以广泛应用于各种服务,如在线微支付、供应链跟踪、医疗记录共享以及众包.将该技术应用到众包系统中,可以得到一个去中心化的、隐私保护的、可验证和可追溯的众包服务平台.随着区块链技术的发展,出现了许多基于区块链的众包解决方案,但是缺乏对相关研究的综述.目前研究人员主要从两个角度对去中心化的众包系统展开研究:基于智能合约的去中心化众包平台、基于区块链架构的去中心化众包平台.文中详细综述了主要的基于区块链的去中心化众包的相关工作,并且总结了已有技术中出现的问题,如区块链系统的安全性、智能合约的安全性以及