关键词： 区块链   智能合约   数据共享   信息安全   共享系统设计  

摘要： 目前,实际业务中有很多高价值数据,由于没有完善的共享方案,使得这些数据存在共享难问题,不能发挥全部效能。区块链技术是一项新兴技术,其能够使参与区块链的各个节点在无中心的情况下互相信任,最终达成一致意见。在区块链系统中,每个节点的数据都是共享的,节点拥有全部交易的数据。在进行交易时,节点之间会先确认彼此的交易数据是否一致,然后才会将数据写入区块链,因此区块链上的交易数据无法被否认,同样也无法被修改。基于区块链的不可篡改和可溯源等特点,文章采用参与成员身份受系统审核的联盟链FISCO BCOS作为底层架构,并且在系统层面进行安全性设计,同时设计了相应的智能合约,从而完成高价值数据的安全共享。文章对共享系统进行了定性和定量测试,证明了所设计的系统是可用、易用且安全的,能够保证信息安全。

关键词： 区块链   智能合约   漏洞检测  

摘要： 智能合约是区块链平台实现交易的重要组件,为多方交易间信任问题提供了一种有效的解决方案。智能合约不仅管理高价值代币还具有不可更改等特性,导致近年来智能合约多次遭受安全威胁。目前出现了大量关于智能合约安全性的研究,其中智能合约漏洞检测成为主要关注点。文中系统分析了智能合约安全问题,从是否执行合约的角度将漏洞检测工具分为静态检测工具和动态检测工具,并对检测工具进行对比分析,重点分析现有检测工具的漏洞检测能力,介绍了16种检测技术的原理及优缺点;最后,对如何提高智能合约安全性进行展望,提出了3个可能提高智能合约安全性的研究方向。

关键词： 区块链应用   可信验证   工业物联网   数据交互   智能合约  

摘要： 随着工业物联网逐步走向成熟,数据成为整个生产流程中的关键因素。数据驱动的工业系统从终端和其他业务系统收集数据,加以分析和优化,在提升效率的同时减少劳动力。想要做出可靠的生产和业务决策,系统内部和跨系统工业数据的完整性和一致性显得尤为重要。区块链和分布式账本技术拥有以分布式方式来维护数据的加密完整性和不可抵赖性,因此,利用区块链对工业系统进行数据问责验证是很自然的。在工业物联网场景中,对于跨系统的数据问责有着迫切需求,现有的部分方法没有解决集成复杂性和细粒度一致性问题,通过引入区块链进行产品库存验证的解决方案,最终在基于真实数据的实现原型上进行了实验。

关键词： 区块链   智能合约   权利滥用   版权保护   嵌入式监管  

摘要： 在版权领域使用区块链的分布式公共记录和智能合约,能够增强版权归属的透明度,降低中间环节费用,使创作人得到公平补偿。但该技术的应用也带来了新的挑战,凸显在所有权确认的漏洞、智能合约的法律问题和潜在的权利滥用等方面。本文从区块链适应既有版权法律制度的方式、版权法应作的法律回应、智能合约的科学设计以及嵌入式监管在区块链版权管理系统的应用限度等四个方面提出了区块链技术适用于版权保护的现实路径。

关键词： 区块链   权威证明   分层交易   智能合约  

摘要： 随着电力体制改革的不断深入,分布式发电市场化交易进入了全新的时代。针对传统中心化交易模式存在的诸多问题,区块链因其去中心化、公开透明、不可篡改等特点被广泛地运用到电力市场交易中。鉴于此,提出了一种基于权威证明的微电网分层交易策略,选择权威证明算法构建区块链网络,以用户需求为依据对用户进行分层,结合信用机制对权威证明算法验证人选举制定了参考依据,设计了"价格为主,信用为辅"的双向拍卖机制,运用智能合约编写了交易策略并部署在区块链网络中。实验模拟了13个节点的交易网络,并对比了不同共识算法区块链网络的差异。实验结果证明了所提交易策略的可行性与高效性。

关键词： 无人机集群   区块链   智能合约   访问控制架构  

摘要： 针对无人机(Unmanned Aerial Vehicle,UAV)集群访问控制机制通常稳定性策略性和安全性低等问题,提出基于以太坊区块链智能合约的UAV集群访问控制机制。进行基于角色的访问控制机制模型的改进,给出针对UAV集群基于访问控制模型的形式化定义。提出基于区块链技术的UAV集群访问控制架构,并提出对应的基本框架与执行流程,该机制有效降低了UAV集群作战管理资源成本,解决了无人集群因区块分叉导致状态信息不完全的问题。

关键词： 区块链   供应链金融   中小企业   智能合约  

摘要： 中小企业已经成为我国经济的重要推动力量,但在其发展过程中获得的信贷支持和贡献却不成正比。供应链在我国已经发展了很多年,对于解决中小企业融资难问题的力度非常有限。本文从传统供应链金融对于解决中小企业融资难问题的现状和局限性出发,分析区块链技术架构下给供应链金融所带来的优势及具体应用,来助力解决中小企业融资难问题,帮助供应链上更多的中小企业获得银行的信贷支持,更好促进国家经济的发展。

关键词： 食品溯源   区块链   食品安全   智能合约   共识机制  

摘要： 将食品溯源与区块链技术相结合,能有效弥补传统溯源中心化数据的缺陷。从食品溯源的行业现状入手,分析区块链技术优势,阐述基于区块链的食品溯源是如何运用优势保障数据的真实性、安全性、完整性;分析总结其发展前景及不足。利用区块链分布式存储、时间戳、智能合约、共识机制及数字签名等技术优势有效解决传统食品溯源中信息存储、数据保证和食品监管三大问题。基于区块链的食品溯源解决诸多问题的同时仍然面临缺乏技术实践、系统维护难、跨链协作难等挑战,与物联网、共享经济等新兴行业的融合是近年来研究热点。

关键词： 以太坊   智能合约   Solidity   正则表达式   程序插桩  

摘要： 作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上。由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要。当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug。这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug。然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响。此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug。为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序插桩和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的。文中进行了一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能。

关键词： 分布式系统   区块链技术   计算机网络   智能合约   数字签名   共识机制   体系构架   加密算法  

摘要： 如何理解区块链?从技术层面理解,区块链是多种技术的组合应用,涉及密码学应用(加密算法、数字签名、隐私传输等)、分布式系统(共识机制、体系构架)、计算机网络(P2P架构)、数据库以及编程(智能合约)等。这些技术领域陆续产生了很多研究热点与细分方向,均取得了一定的成绩,但目前仍有众多技术难题亟待攻克。