关键词： 车联网   区块链   匿名认证   智能合约   共识机制  

摘要： 针对车联网(IOV)中心化认证效率低和隐私保护差的问题,提出一种基于区块链技术的高效匿名认证方案。该方案基于IOV开放、自组织、快速移动的特点,利用区块链技术防篡改和分布式的特性来完成车辆临时身份的生成和区块链存储。车辆相互通信时,通过触发智能合约实现高效匿名的双向身份认证。实验结果表明,在认证效率上,与传统公钥基础设施(PKI)认证、假名授权身份认证相比,随着验证量的增加,所提方案的匿名身份认证的时延增长较慢,效率较高;在安全性能上,所提方案中存入区块链的临时身份具有不可篡改、不可否认、可追溯等特点。所提方案中,恶意车辆身份可回溯并进行权限控制,并且,公钥密码体制和数字签名技术保证了通信数据的保密性和完整性。

关键词： 信息通信工程建设   区块链   智能合约  

摘要： 在信息技术高度发达的今天,各种互联网技术如同雨后春笋般纷纷涌现,物联网技术、云计算技术等都为社会发展提供了新的可能性,特别是区块链技术的出现更是改变了社会发展方向,其在通信工程、电子信息工程、计算机软件工程中都扮演着不可或缺的重要角色,尤其是在信息通信工程建设领域的应用,更是从根本上解决了传统通信工程建设存在的诸多问题。需要在对区块链技术进行总体了解的基础上,对利用区块链技术建立信息通信工程建设业务资信平台及智能合约协调机制的要点进行理解。

关键词： 区块链   能源区块链   新能源   分布式能源   智能合约   联盟链  

摘要： 能源业在国民经济和社会发展中发挥着战略性、基础性支撑作用,区块链技术由于具有分布式存储、点对点传输等独特优势,在促进能源业的转型升级方面有着多方面的应用。国际上能源区块链的应用主要基于区块链的分布式P2P交易、能源金融、碳交易、电动汽车共享充电、能源征信体系建设和能源综合管理等,比较有代表性的案例有纽约布鲁克林基于区块链的微电网智能系统和澳大利亚Power Ledger项目。国际能源区块链的发展带给我国的启示是将发展能源区块链作为推进能源改革的重要抓手;以新基建为契机夯实能源区块链发展根基,以联盟链为重点建立各类应用示范,以发展能源区块链助力新能源壮大,以能源区块链激活电动汽车发展市场。

关键词： 联盟区块链   登记托管   交易报告   智能合约  

摘要： 【目的】阐述我国债券市场现状,提出结合联盟区块链多中心、防篡改、自动执行以及可追溯等特点,实现债券市场登记托管和交易报告,促进场内、场外市场互联互通。【方法】基于债券市场现有格局,分析国内外债券交易平台,详述基于联盟区块链的多主体、跨市场和透明监管的债券市场应用,从架构设计、业务设计、联盟治理、电子合同、智能合约和交易报告等方面介绍系统设计与实现。【结果】基于联盟区块链平台Hyperchain实现区块链在债券市场的概念验证原型,具有前瞻意义。【局限】为提供债券登记托管和交易服务,下一步需要重点研究信息流和资金流同步问题。【结论】应用联盟区块链至债券等金融领域,可为传统金融产业升级与变革、跨界监管与合作提供创新工具和方法,并为金融监管和创新平衡问题提供新思路。

关键词： 可交易能源(TE)   智能合约   风电消纳   辅助决策  

摘要： 随着风电装机容量的不断增长,风电消纳一直是电网运行的关键课题。基于近期学术界广泛关注的可交易能源(transactive energy,TE)系统的理念,文章提出了通过可交易能源控制(transactive energy control,TEC),以一系列交易合约作为控制手段实现风电消纳的技术框架。进一步将智能合约技术与可交易能源控制结合,由各交易方提出各自的交易逻辑,通过智能交易辅助决策形成一系列智能合约,从而实现风电消纳的控制目标。基于IEEE-30节点系统的算例验证了该控制方式的有效性。

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

摘要： 智能合约在区块链这一技术载体的基础上为人们所熟知,新时代下不能被动接受新技术,应当主动出击,占据智能合约发展的制高点。研究智能合约是什么、怎样运行、智能合约是否需要法律的规制,《合同法》能否对其进行规制、如何对其进行救济,是文章讨论的重点。

关键词： 物流体系   全球产业结构   物流服务   区块链   集成物流   智能合约   去中心化   制造业  

摘要： 随着全球产业结构的不断变化,现代企业的发展过程中需要物流体系的支持,以此实现降低成本、增加效率的作用。企业物流服务的使用者对于物流的要求逐渐提升,从简单的运输涉及到了生产销售的多个过程,整合外部的信息资源,为制造业经历一个全方位一体的集成物流的服务成为关键,但是物流的行业高速发展信息不透明,交互不及时,信息的真实性不高等问题影响了物流的效率,为此区块链利用其去中心化、共识信任、信息不可纂改、智能合约等特点,为物流的发展提供了便利。

关键词： 区块链   医疗记录   隐私保护   存储与共享   智能合约  

摘要： 目前电子医疗记录存放在不同的医院中,这阻碍了患者医疗数据的共享并使患者的隐私面临严重威胁。提出了一种基于区块链的医疗记录安全共享方案SMRSBC。在SMRSBC中,原始的EMR被安全地存放在云存储服务器中,索引被保留在防篡改联盟区块链中。这样可以大大降低医疗数据泄露的风险,同时,区块链中的索引确保了EMR不能被任意修改。通过患者的预定义访问权限,可以通过区块链的智能合约自动完成电子医疗记录的安全共享。此外,在患者的电子医疗记录存储和提取阶段采用非对称加密技术,能够很好的保护患者的隐私。SMRSBC能够实现EMR安全有效的共享,并且能保证病人的隐私不被泄露。

关键词： 区块链技术   信息生态系统   智能合约   房屋租赁  

摘要： 我国房屋租赁行业在"租购并举"等政策红利下迎来了新机遇与挑战。科技强国战略背景下,运用信息技术赋能房屋租赁行业发展是大势所趋。区块链集非对称加密、分布式存储、智能合约等核心技术于一体,能够实现"去中介化"、"可信化"交易,可精准对焦房屋租赁行业"黑中介"、"假房源"等问题。结合信息生态理论,构建基于区块链技术的房屋租赁信息生态圈模型,以期实现人与人、人与信息、信息与环境的安全、可信交互。论证其应用价值,并从理念、制度、应用三个层面,有针对性地提出促进其应用的建议,为促进房屋租赁信息资源管理的可持续发展提供一定理论依据与方法导引。

关键词： 时间自动机   区块链   智能合约安全   实时模型检测   形式化验证  

摘要： 区块链中的智能合约具有不可篡改性、去中心化、自治化等优点,使分散应用程序能够在缺乏信任的环境中实现交互和融合.若智能合约自身存在安全隐患,可能会威胁到用户的个人信息和财产安全,造成难以预估的损失.针对智能合约存在的安全问题,提出了基于时间自动机的区块链智能合约安全性的逆向模型检测方法.采用逆向方法对以太坊中的智能合约源代码进行分析,提取合约的逻辑流程,并进一步分析合约是否存有明显的安全隐患,若有则对合约代码进行优化或改进;针对智能合约采用模型检测的方法进行合约建模、性质刻画及自动验证.若验证通过则证明改进合约满足安全性质,否则通过反例找出代码漏洞继续对合约进行优化.以投票合约为实例对所提逆向方法进行具体介绍,证明了所提方法的有效性,能够保证改进后的投票合约系统的完备性与安全性.