关键词： 物联网(IoT)   区块链   信息安全   智能合约  

摘要： 物联网系统错综复杂,数据会在整个传输过程中经过不同的载体,其存在的隐私安全和漏洞问题也随着暴露出来。为解决传统防护技术的不足,保证物联网信息安全,本文旨在研究基于区块链技术的物联网信息安全技术,利用区块链技术在物联网网关之间建立安全的通信通道,通过在物联网网关中设置检查点来管理智能合约,与传输的所有数据链及其支链构建Merkle树,根据Merkle树根哈希值验证数据是否被篡改,提高物联网数据传输的安全性。

关键词： 区块链技术   教育数据共享   去中心化   智能合约   “互联网+”  

摘要： 随着大数据、人工智能、物联网等新兴技术的高速发展,在"互联网+"背景下,将信息技术与现代化教育继续深度融合,利用区块链的去中心化、智能合约、非对称加密等技术,设计区块链技术在教育数据中的共享场景应用,探索建立对各主体遵循教育共享标准行为激励和约束作用的共识机制,加强教育数据共享标准的一致性,实现教育信息价值增值,是体现教育数据共享成效的重要显性指标。解决教育数据在共享过程中出现的问题,探索区块链技术如何助力教育数据共享,以期推动教育信息化的持续发展。

关键词： 区块链   访问控制   物联网   智能合约  

摘要： 物联网的数据蕴含重要的价值,但其安全和隐私问题不容忽视。访问控制是实现信息开放并保证数据安全和隐私的核心技术。因区块链的去中心化、难篡改、可追溯、可匿名等特点,以及随着智能合约的发展和成熟,越来越多的科研工作尝试探索基于区块链智能合约的新型访问控制方案。本文对基于智能合约的最新工作进行介绍并进行简单的分析。

关键词： 形式化验证   智能合约   区块链   隐私保护   信息安全   可信交易  

摘要： 形式化方法是在安全关键软件系统中被广泛采用而有效的基于数学的验证方法,而智能合约属于安全关键代码,采用形式化方法验证智能合约已经成为热点研究领域.本文对自2015年以来的47篇典型相关论文进行了研究分析,对技术进行了详细的分类研究和对比分析;对形式化验证智能合约的过程中使用的形式化方法、语言、工具和框架进行综述.研究表明,其中定理证明技术和符号执行技术适用范围最广,可验证性质最多,很多底层框架均有所涉及,而运行时验证技术属于轻量级的新验证技术,仍处于探索阶段.由此我们列出了一些关键问题如智能合约的自动化验证问题,转换一致性问题,形式化工具的信任问题和形式化验证的评判标准问题.本文还展望了未来形式化方法与智能合约结合的研究方向,对领域研究有一定的推动作用.

关键词： 资产交易   区块链   智能合约   信息技术   集成算法   契约关系   信任建立   中心节点  

摘要： 区块链是一种新型的底层的信息技术。区块链用集成算法和技术的信任建立机制,改变了传统的依赖中心节点的信息验证模式。基于这种特性,人们可以构建在没有中介辅助下多个参与方之间的资产交易、价值传递的网络,通过建立执行智能合约,推动契约关系和规则的维护和履行,降低信用建立成本,营造良好市场环境。

关键词： 物联网   访问控制   智能合约   形式化验证   模型检测  

摘要： 蓝牙、WiFi等网络技术的进步推动物联网(IoT)的发展,然而IoT在方便了人们生活的同时也存在严重的个可信任的中心节点,不适合节点分散的IoT环境。区块链及智能合约的出现为IoT应用的访问控制提供了更有效的解决方案,但用一般测试方法难以保证实现IoT应用的访问控制智能合约的正确性。针对这个问题,提出一种利用模型检测工具Verds对访问控制智能合约进行形式化验证从而保障合约正确性的方法。该方法利用状态迁移系统定义从而形成Verds的输入模型及所要验证性质,然后利用Verds验证待测性质的正确性。方法核心是Solidity合约子集到Verds输入模型的转换。对两个IoT资源访问控制智能合约的实验结果表明,该方法可以对访问控制合约的典型场景及期望性质进行验证,提升了智能合约的可靠性。

关键词： 区块链   施工企业   财务管理   智能合约   软件设计  

摘要： 财务管理是企业信息化建设中的一个核心环节,也是企业进行人力资源管理、业务流程控制与资金风险预判的重要依据。区块链技术的出现为企业进行财务管理系统的设计和改进提供了一种全新的设计思路,利用区块链技术本身所具有的去中心化和不可篡改的特性,可以保证企业财务管理系统中各类成本、支出、决算等数据的安全性和真实性。该文以区块链技术中的智能合约在中铁某企业财务管理系统中的应用为切入点,提出并设计了一种去中心化的系统设计方案,通过将智能合约与施工合同进行有机结合,确保只要施工合同进行交易,智能合约就能被即时触发,该机制从技术上确保了合同规定的权利与义务的严密执行,除此之外,智能合约还可扩展至多方交易,从而进一步简化传统多方交易面临的手续复杂等问题。同时,基于区块链技术上构建的多层次数据安全和追溯手段,也为企业的财务分析与决策提供技术支撑。

关键词： 石油管道   区块链   资产采购体系   分布式记账系统   智能合约   可拓展性   管道局  

摘要： 随着全球5G网络技术、通信、物联网、云计算和大数据等技术的不断发展,信息载体在不断地由纸质载体向着数字载体方向变化。管道局作为我国油气管道建设的主力军,正在积极地由传统管道向智能管道、智慧管网方向不断演进;主要掌握了涉及设计、施工、检测、维抢修等管道工程全产业链的高端技术,不断推广互联网+油气储运工程。管道局作为管道业务EPC的重要力量,在数字化、信息化的大背景下,尽管在设计环节和施工环节有了长足进步,但采购环节还需在信息化方向进一步加强。

关键词： 保险科技   区块链   智能合约  

摘要： 保险行业目前处于转型阶段,从传统的保险走向保险科技的过渡中。区块链技术应用于保险行业有着众多的优势,区块链是一个传递信息、价值、乃至传递信任的网络。区块链技术在保险行业也有着广泛的应用前景,智能合约的设定避免了人为的流程阻碍,实现了自动理赔,可溯源和不可篡改,极大的防范了理赔欺诈。但与此同时,区块链技术自身的不完善也制约了进一步商业推广。

关键词： 民法典   区块链   智能合约  

摘要： 智能合约作为老概念新运用,由于其本身技术的先进性和复杂性,其运用过程必然导致对现有法律法规等规范的挑战。本篇从理解智能合约的基本概念入手,研究分析智能合约与传统合同相比之特点,从而分析智能合约的运用发展,对《民法典》的影响,最后从提出合理化意见建议的角度,论述了《民法典》的演进方向,以期通过本篇为智能合约这项新技术发展推波助澜。