关键词： 共享数据   云存储   完整性审计   可追溯性  

摘要： 随着云计算的发展,云存储服务已被各种组织广泛采用,用户可以方便地与他人共享数据.在云用户不能完全信任云服务商的前提下,如何保证云存储环境中用户共享数据的完整性是当前的研究热点之一.在共享数据完整审计方案中,现有的方案只考虑到云服务提供商和第三方审计员会发生恶意行为.然而现实生活中,组成员也可能是恶意的,他们可能会试图修改存储在云服务器上的数据,从而损害到其他人的利益.针对这个问题,设计了一个用户信誉分记录表对组成员进行了信用度评价,更好地防止了组成员出现恶意行为.提出了一种安全的共享数据完整性审计方案,该方案利用了区块链技术存储数据修改记录,可以追溯到修改者的用户身份信息.除此之外,对方案的正确性、安全性和可行性做了理论分析和实验.

关键词： 供应链管理   图结构   智能合约  

摘要： 建立高效低成本的实时动态供应链管理机制,是数字经济的基础。传统的供应链管理,因为工具分散、数据孤立、智能化不够、灵活性不足,因此无法实现动态实时管理,无法形成聚合效应。本文针对目前的供应链管理现状,提出了用图结构+智能合约方法,实现供应链动态实时管理的新模式。该方法的核心就是,用图结构表征非线性的网状商业关系,利用智能合约定制动态实时处理机制,从而在实时动态变化的商业环境中,对于频繁增减的机构用户节点,可以方便高效地自动化管理供应链的有效运营。

关键词： 智能合约   漏洞检测   模糊测试   正确性检测   以太坊  

摘要： 智能合约的发展处于初期阶段,底层编程语言和应用平台的不同使得智能合约的设计缺少规范,极易出现漏洞,造成损失。针对以太坊区块链平台上智能合约存在的安全漏洞问题,提出了一种基于模糊测试的智能合约正确性检测方法。该方法根据智能合约内容及规范生成模糊输入,并根据模糊输入在以太坊虚拟机内执行智能合约,监控合约在执行过程中的行为,生成多个日志文件,提取日志文件中的关键信息,对测试用例进行触发测试,从而得到智能合约所包含漏洞的情况,实现正确性检测。在实验过程中,该方法针对416个智能合约中的七类常见漏洞进行了漏洞检测,标记出了19个存在漏洞的智能合约。经过人工审计分析发现,在这19个被标记的不正确智能合约中,有18个智能合约确实存在安全漏洞。实验结果表明所提方法能够以较高的准确率识别智能合约中包含的漏洞,从而检测智能合约的正确性。

关键词： 完整性验证   云存储   区块链   智能合约   哈希路径生成  

摘要： 为解决云存储中可能存在的数据损坏、数据丢失等安全性问题，本文通过借鉴并改进目前云数据完整性验证的相关方案，弥补了传统方案中的不足，提出了面向云存储的双重数据完整性验证方案对共享数据位置和内容进行完整性验证。方案基于Merkle树设计了一种新的存储结构来实现哈希路径的快速生成，以减少位置完整性验证的时间开销；同时借助区块链来存储完整性验证数据和验证结果，并使用智能合约来代替第三方审计者执行完整性验证任务，保证完整性验证的自动化执行，增加完整性验证方案的可信度。安全性分析和实验分析表明该方案不仅能够保证共享数据的安全性，还可以高效地完成对共享数据的批量完整性验证。

关键词： 区块链智能合约   数字资产   产权保护  

摘要： 在全球信息技术革命中,数字媒体产业已经成为我国文化创意产业与新兴经济的重要基础,数字资产产权侵权问题愈演愈烈,但传统法律路径面临困境。区块链智能合约创新了其产权保护路径:首先,作为一种分布式存储技术,能保证数字资产作为数据的存储安全;其次,作为一种可编程的智能合约,数字资产的可分解产权可准确写入智能合约条款并等待执行。最后,付费的使用者可通过非对称加密技术获权并使用智能合约条款约定的数字资产。

关键词： 区块链   智能合约   加密货币   可视分析   ERC-20代币  

摘要： 区块链技术近年来受到了广泛关注.区块链技术驱动的加密货币市场复杂且不稳定,容易受到政治、经济、社会等各方面因素的影响.现有的研究工作集中于原生加密货币,如比特币和以太坊币.然而,加密货币市场中存在大量基于ERC-20智能合约的代币.ERC-20代币占据大量市值,吸引了许多投资者的关注.本文提出了TokenVis可视分析系统,用于辅助用户分析不同ERC-20标准代币的演变模式并提供解释.TokenVis集成了一个不同时间粒度的可视分析框架,提出了针对时间序列的切分排序可视化以及基于时间约束的优化算法构建的新闻分布布局,建立了演变模式与新闻之间的关系进而解释了代币演变模式.本文还介绍了与领域专家合作开展的分析案例,包含不同类型代币的演变模式,验证了TokenVis可视分析系统的有效性与可用性.

关键词： 智能合约   自治性   自动执行   去中心化  

摘要： 智能合约的核心要素在于自治性,与自动化存在本质区别。对于智能合约的法律性质,不能一概而论,应结合其技术特性展开分析,可将其划分为合同型、执行型和单向型。然而,这三种类型分别存在自动执行、兼容性强、去中心化的特点,极易引发一系列交易与安全风险。从法律制度层面予以回应,应明确代码与法律的界限,基于场景划分“强”与“弱”型智能合约,以纾解自动执行条款引发的强制执行风险;确立事先审查机制,确定事后责任主体,以缓解一般条款引发的交易损失风险;建立“弱中心化”平台,明确监管部门权限,以消解去中心化交易条款的监管缺位风险,从而发挥智能合约的科技附加值,促进我国数字经济安全协调发展。

关键词： 区块链   智能合约   征信信息   隐私保护   消息转移协议  

摘要： 目前征信个人隐私保护系统中的消息转移只实现了单向信任转移,对申请方的责任未做确认,因此,无法建立消息转移双方的双向信任关系,无法实现公正性;此外,消息转移过程也存在安全隐患。提出一个基于区块链的征信系统消息转移协议,该协议要求消息转移的双方需要完成顺序的签署确认,借助于区块链的共识机制和附加协议、加密算法等技术保障消息安全转移,具有公正性、隐私性。此外,还提供了消息的追加、更新和删除等功能。最后,分析了本协议的公正性、隐私性和不可抵赖性。

关键词： 区块链   属性基加密   数据访问控制   云存储   智能合约  

摘要： 【目的】云端存储数据的安全性是用户使用云存储服务的重要条件,一般用户与云服务提供商之间需要相互信任,而中心化的云服务器存在单点故障问题并且云端的数据存在泄露、丢失的风险。【方法】为解决上述问题,提出了一种基于Fabric区块链的云端数据动态访问控制方案。【结果】方案利用区块链难以篡改的特性解决了用户与云端的信任问题,使用去中心化云存储解决了云服务器的单点故障问题,利用智能合约实现了方案的自动执行,并采用属性基加密的方式实现了对云端数据的动态访问控制。【结论】通过对方案的安全分析与实验验证,方案具有良好的安全性与可用性。

关键词： 区块链技术   碳财务预算   碳财务绩效   分布式组网   智能合约  

摘要： 构建碳财务“预算+绩效”协同管理模式,是企业履行碳达峰碳中和的有效路径。文章以区块链分布式组网、PoS共识与智能合约等关键技术为支撑,强化碳财务数据处理能力、实时监控碳财务并规范碳财务目标;进一步地,以区块链技术优势为核心底座,构建涵括事前管理、事中管理与事后管理三大子系统在内的碳财务“预算+绩效”协同管理模式,助力企业优化涉碳资金配置。为完善碳财务“预算+绩效”协同管理运行模式,文章针对性提出规范数据管理模式,夯实协同管理基础;构筑风险监测体系,筑牢协同管理模式安全防线;分阶段设定碳预算目标,助推协同管理模式平稳运行三点建议,以期赋能企业碳财务“预算+绩效”协同管理智能化转型。