带时间约束的智能合约验证

在现实生活中有一类智能合约与时间紧密相关,而合约是否满足这类时间性质将直接影响应用的正确性.为了避免合约部署后出现严重的问题,将以太坊上的智能合约为研究对象定义智能合约的时间自动机语义,再将智能合约转换为时间自动机模型,接着用模型检测工具UPPAAL检测智能合约是否满足以时序逻辑公式表示的实时性质.最后对竞拍合约以及飞...     

SlightDetection：一种以太坊智能合约安全漏洞的静态分析工具

以太坊智能合约若存在安全漏洞，则会导致无可估量的损失。为缓解该问题，提出了一种以静态程序分析技术实现代码全覆盖的智能合约漏洞检测工具SlightDetection。该工具将智能合约源代码转化为对应的抽象语法树，并翻译为XML中间表示；以几个经典漏洞的特征为例，书写自定义的XPath规则库；将XML中间表示与XPath库作为输入不断遍历XPath规则库并进行匹配，最终得到漏洞检测的报告。该文测试了3个经典合约，充分展示了SlightDetection具有更快、更准确的检测特性；对Etherscan上提供的大量智能合约进行测试并对其中100多份合约进行了手动验证，进一步证明了该工具的有效性。     

基于Ethereum智能合约的安全策略分析

智能合约是代码和数据的集合,一旦部署便无法更改,且其自身持有金融属性,若出现安全漏洞问题将会造成巨大损失,可见编写出安全可靠的智能合约是至关重要的.为此,基于Ethereum平台研究并分析智能合约的安全漏洞,总结了几种易见的安全漏洞,包括可重入漏洞、整数溢出漏洞、拒绝服务(denial of service,DoS)漏...     

区块链技术在版权领域应用的现状、局限及成因研究

【目的】通过分析区块链技术在版权领域广泛应用而产生的“链上侵权”“无视法定许可、合理使用”等灰色地带，探究法律应如何回应。【方法】调查当前国内区块链版权行业现状，分析区块链与版权领域灰色地带的成因。【结果】区块链平台存在审查流程不规范，智能合约的法律性质不清晰等问题。【结论】可从行业规范的角度统一区块链平台的登记程序和标准入手，完善相关法规，明晰合理使用和法定许可的边界，强化区块链技术服务提供者的义务。     

基于区块链智能合约的动态频谱共享

针对集中式动态频谱共享存在的频谱资源数据安全威胁、管理成本高、扩展性低等问题，利用区块链技术的去中心化、数据不可篡改等特性，提出了一个基于区块链智能合约的动态频谱共享方案。首先，利用区块链ERC4907协议设计了频谱券，保证频谱资源的唯一性标识并可租赁；其次，利用区块链预言机来实时更新空闲频谱资源数据，实现频谱数据的上链；再次，通过基于智能合约的拍卖算法以及Vue框架实现在前端页面对空闲频谱资源所对应的频谱券租赁期限的拍卖。实验结果表明，提出的基于区块链智能合约技术的动态频谱共享方案能够满足用户安全有效地进行动态频谱共享，具有可行性。     

基于区块链的云存储数据完整性验证方案

针对云存储服务数据完整性存在的问题,借鉴目前远程数据完整性验证方案,提出基于区块链的云存储数据完整性验证方案.首先,将完整性证明存储在具有防篡改特性的区块链上,构建了可问责的数据完整性证明;同时以区块链上的智能合约代替第3方审计者对数据进行完整性验证.在验证阶段加入了对数据副本的完整性验证,并强制要求云存储服务存储至少...     

一种基于区块链的电子合同共享方案

为解决电子合同在存储、共享过程中出现的数据被篡改或泄露等问题,提出了一种基于区块链的电子合同共享方案。首先,将智能合约与代理重加密技术相结合,构造出一个代理智能合约来代替传统代理重加密过程中的代理商,去中心化地实现了电子合同的安全共享。其次,利用星际文件系统（inter planetary file system, IPFS）存储电子合同密文,区块链存储电子合同索引地址,有效缓解了区块链的存储压力。最后,从方案对比、安全性等方面对所提方案进行分析。     

牌类游戏可信存证链系统

目前,市面上棋牌类游戏的信任问题一直得不到有效解决,外挂等作弊手段层出不穷.为此,基于当下区块链去中心化、防篡改的特点提出了一种牌类游戏防作弊方法.通过API接入玩家的牌面信息,使用Huffman Merkle Hash tree （HuffMHT）算法对牌面信息进行数据压缩,采用多种加密算法对压缩后的数据进行加密,并编写智能合约将加密信息锚定在区块链上.任何人只需对比区块链上的发牌信息和出牌信息即可发现是否作弊.实验结果表明,该方法能有效解决牌类游戏的信任问题,确保牌类游戏的安全.     

多域物联网中基于区块链和权能的访问控制机制

物联网中的数据通常包含大量的隐私信息,为了防止设备协同过程中因越权访问造成隐私数据泄露的问题,针对多域物联网设备协同场景提出了一套访问控制机制.将分布式的基于权能的访问控制(capability-based access control,CapAC)与区块链技术相结合,设计了存储于区块链的权能令牌以及基于智能合约实现的...     

基于联盟链的医疗数据安全共享方案

基于区块链的医疗数据共享方案并未从时间维度进行访问控制.为解决这一问题,提出了一个基于联盟链的具有时间维度的医疗数据安全共享方案.首先,用云存储器存储医疗数据密文,以联盟链存储元数据,能实现医疗数据的安全存储与共享;其次,将智能合约和密文策略属性加密(ciphertext-policy attribute-based ...     

基于学习契约的CSCL系统设计

应用学习契约来提高计算机支持的协作学习(CSCL)中学习者的学习绩效.论述了学习契约和CSCL的内涵,设计了基于学习契约的CSCL系统.结合系统的使用流程,论述了该系统各功能模块.     

模糊需求依赖价格的回购契约协调模型研究

运用可信理论分别建立了分散、集中决策和回购契约下的供应链协调模型，对3个模型分别进行求解．通过比较最优解，得到回购契约下能够使系统达到最优．并通过实例进行分析，结果表明：回购契约下供应链的整体利润相对于分散决策下提高了19．9％，实现了供应商和零售商的双赢，验证了模型的正确性．     

基于双区块链的PKI模型

公钥基础设施（public key infrastructure,PKI）体系为实施电子商务、电子政务、办公自动化等提供了非常重要的安全服务。该文以区块链和智能合约为基础构建了证书颁发机构（certificate authority,CA），提出基于双区块链的分布式PKI模型，以医疗PKI为应用场景，用区块链和智能合约技术管理证书和病人信息，保证了证书发布和撤销的透明性，实现了病人信息的隐私保护和访问控制，解决了传统的PKI中存在的单点故障、多CA互信、证书发放不安全、证书透明性以及快速验证等问题。安全性分析和实验表明该模型可以解决传统PKI和现有单链PKI模型中存在的多种问题，有效保护了病人的隐私，并显著提高了证书发放和验证的效率。     

基于区块链的精准扶贫数据保护方案

针对目前数据管理中普遍存在的中心化存储、防篡改性弱、可追溯性差、缺乏安全有效的共享渠道等问题,借助区块链技术的去中心化、不可篡改等特性研究了一种基于区块链的精准扶贫数据保护方案.以个人档案的形式记录扶贫数据,依托智能合约和星际文件系统等技术使数据以数字档案形式进行新增、更新、验证、共享.将公有链和联盟链结合,以锚定数据...     

赠与合同若干问题探析

赠与合同的法律性质及与之相关联的撤销赠与的条件和法律后果、受赠人范围等问题,必须依合同法的立法宗旨得到准确解释。赠与合同采诺成合同说才符合合同法的立体本意,而且合同法规定赠与合同为诺成合同的同时,赋予赠与人的任意撤销权和法定权,与实践合同说特殊途同归。此外,无民事行为能力人应纳入受赠人范围。     

试论合同解除的法律后果

合同解除的法律后果包括合同解除的溯及力和合同解除后的财产处理。合同解除可以具有溯及力,但这只是一种可能性,具体到某一特殊合同时,要使这种可能性转化为现实性,必须综合考虑各种因素,具体合同具体分析。合同解除后的财产处理包括恢复原状、不当得利返还和损害赔偿等。