关键词： 联盟区块链   IPFS   智能合约   知识共享  

摘要： 传统的知识共享系统是以个体之间的信任为基础,用户之间的频繁交互和处理交易耗费的人力成本,已经阻碍了知识共享系统的发展。区块链具有可追溯、不可篡改、去中心化等特性,在知识共享领域具有明显优势。在分析区块链关键技术的基础上,提出了一种基于联盟区块链技术的知识共享模型。运用星际文件系统集群保证知识数据存储的可靠性,利用构建的智能合约实现知识共享,并保证知识数据的安全性。最后,基于以太坊在实验室中搭建了共享模型,实验结果表明:该模型能够满足知识共享双边用户的需求,且链上数据具有可溯源、防篡改等特性。

关键词： 编排图   业务过程管理   区块链   智能合约   版本控制  

摘要： 针对现有基于区块链的业务过程管理系统中过程实例化成本较高、版本迭代困难等问题,提出了一种编排图驱动的区块链业务过程管理框架。该框架包含一个可用于存储业务过程编排元模型、模型部件演化版本和实例执行状态的通用智能合约,其通过延迟模型元素实例化时机和集成多过程实例,可大幅降低区块链上过程模型实例化成本。同时,该框架引入基于模型数据复用和投票机制的版本控制方法,使其能够在单个智能合约中创建不同版本编排模型的过程实例。通过一个真实案例验证了该框架在分布式业务过程管理中的有效性。

关键词： 配电网安全   P2P   网损   电压越限   智能合约   隐私保护  

摘要： 配电网中分布式可再生能源的持续增加以及以区块链为代表的分布式记账技术的快速发展,为配电网展开去中心化的点对点(P2P)交易提供了发展动力和技术支持,然而持续增多的分散P2P交易可能导致节点电压越限、系统网损增加等问题。为此提出一种以配电网安全为导向的分布式资源P2P交易机制。首先,基于配电网节点电压和系统网损的线性化推导,提出一种P2P交易对于配电网安全影响的灵敏度模型,从而将传统高低价匹配的交易撮合策略修正为以配电网安全为导向的P2P交易策略;然后,基于以太坊平台运算能力的限制提出具有简单运算特性的去中心化的交易机制,并设计了相关智能合约。算例分析表明,所提出的以配电网安全为导向的P2P交易机制,可以在交易撮合过程中有效反映P2P交易对配电网运行的影响,能够根据电网安全裕度水平优化交易次序,撮合更多有利于配电网安全运行和降低网损的交易达成,并且交易模型复杂度低,可以实现链上求解,不需要链下配置优化软件,避免了隐私泄露。

关键词： 区块链   著作权   智能合约   法律应对  

摘要： 网络科技发展迅猛,侵害文艺作品著作权事件逐渐升级,暴露了传统保护模式的弊端。区块链技术的运用,有助于厘清权利主体和边界、追溯侵权人以及保障著作权作品合法交易和使用。但该技术运用于文艺作品著作权保障,可能挑战着平等保护、传统撤销权、许可转让等规定。因此,引入区块链技术保护的同时,应将其纳入法律规制框架中。对智能合约等技术行为进行规制,确定主体资格能力,界定行为效力,在既有著作权保护原则指引下,保障区块链技术发挥积极作用。

关键词： 非对称加密   区块链   智能合约   信息系统   时间戳   安全威胁   量子计算   量子信息技术  

摘要： 区块链具有的分布式、免信任、时间戳、非对称加密和智能合约等技术特性,[1]为改造传统档案信息管理模式,提供了一种独特的创新思路与技术升级遴选方案,并已引起国内外档案业界的关注与重视。但是,随着量子计算概念的横空出世,特别是"量子霸权"的实现,方兴未艾的量子信息技术应用,对传统信息系统构成的安全威胁,已不容小觑。

关键词： 工业控制系统   区块链   智能合约   角色委派   访问控制  

摘要： IT和OT的融合模糊了工业控制系统“网络边界”的概念,细粒度的访问控制策略是保障工业企业网络安全的基石。基于角色委派的访问控制机制可把域中用户对网络资源的访问权限委派给其他域的用户或企业合作伙伴,这样为企业员工或企业合作伙伴远程访问企业网络资源提供了便利。然而,这种便利可能增加工业控制系统的攻击面。区块链技术固有的去中心化、防篡改、可审计等特征可以成为基于角色委派访问控制管理的基础架构,因而提出了基于区块链技术的角色委派访问控制方案(Delegatable Role-Based Access Control,DRBAC)。DRBAC包括用户角色管理及委派、访问控制、监控机制等几个重要组件,并基于智能合约实现该方案,DRBAC的目的是保证每个网络连接必须受到细粒度访问控制策略的保护。最后,通过搭建本地私有区块链网络测试分析了DRBAC的正确性、可行性和开销。

关键词： 以太坊   智能合约   形式化验证   定理证明   模型检测  

摘要： 以太坊智能合约是区块链技术的典型应用和实现。由于智能合约一旦部署就难以修改,智能合约在上链之前的正确性显得至关重要。虽然很多当前工作都对于智能合约漏洞的检测与预防进行了一系列研究,但是对于检查合约属性和范式的形式化验证方法还没有比较全面的总结。首先介绍了智能合约基本的表示和编译方式、常用的编程语言、出现的漏洞类型和常见的形式化验证方法,并分析了形式化验证方法在智能合约方面的研究现状;然后,通过实验结果分析验证了两种现有的有界模型检测工具的检测好坏,对于某些具体的合约攻击,漏报率达到30%以上,现有形式化验证方法漏报率高、应用范围受限以及验证语言安全性未知等一系列缺陷亟待解决;最后,针对现有形式化验证方法存在的不足之处展望了未来的研究方向。

关键词： 细粒度   访问控制   属性基加密   智能合约  

摘要： 针对一对多搜索模型下共享解密密钥缺乏细粒度访问控制,本文设计了一套以区块链技术为基础的访问控制模式。该模式通过为拥有数据管理权的用户提供智能化合约以及属性基加密,能够在区块链中分布式存储加密密钥,通过使用布隆过滤器隐藏访问策略,在保证加密效率和安全性的同时,可实现细粒度的访问控制和数据的可追踪。

关键词： Web服务   信任评估   个性化   动态访问控制   智能合约  

摘要： 在无中心Web服务环境中,用户访问服务的历史行为数据由多个服务提供方分散管理,难以形成全局的用户信任度视图,难以根据用户信任度和使用需求实施个性化的访问控制。本文提出一种基于智能合约的个性化访问控制方法(SC-PAC)。通过结合前期的研究成果为SC-PAC提供高质量的用户历史行为数据,实现有可靠数据保障的可信计算服务,通过智能合约中的策略配置及可信度计算模型参数调整,实现服务提供商(SP)对不同用户的个性化的访问控制。在实验环节为SC-PAC设计了一个新的信任模型,并对该信任模型及基于SC-PAC方法的访问控制进行了实验设计。对结果的分析表明,本文提出的SC-PAC方法能够允许SP通过智能合约中的计算信任模型、参数及访问控制策略选择,实现对用户的个性化访问控制,并且依据准确的用户历史行为数据提供更可靠的可信度判断,可以有效保护服务。

关键词： 区块链   个人征信   去中心化   征信报告   智能合约   非对称密码学  

摘要： 区块链技术起源于比特币,基于其去中心化、开放性、安全性、匿名性的特点,区块链已经受到各行各业的广泛关注。近年来,随着互联网、大数据技术的发展,个人征信报告泄露事件频出,如何应用区块链技术加强征信安全管理值得探究。利用区块链技术的去中心化等特点,尝试探索在去中心化的情况下,将区块链技术应用于个人征信中身份信息识别、信贷账户信息管理、公共记录信息存储等模块,由个人和贷款机构掌握数据访问权,强化数据信息安全。