关键词： 理性安全计算   智能合约   纳什均衡   方向熵   最佳策略  

摘要： 理性密码学作为一种新的研究领域,为传统密码学开辟了一种新的研究思路。理性密码学与传统密码学最大的不同之处在于理性密码学中的参与者是以自身效用最大化进行策略选择。因此结合博弈论思想,引入理性参与者构造理性密码协议具有更广泛的现实意义。本文结合博弈论、信息论和安全通论,对协议中参与者的策略选择与效用问题展开研究。研究内容包含三个部分,具体如下:(1)基于智能合约的理性委托计算方案。针对理性委托计算中的公平性需求和效率问题,从参与者自利角度出发,分析理性参与者的行为偏好定义效用函数,并设计激励合约保证参与者的诚实性。其次,根据理性委托计算的公平性需求,在保证参与者处于纳什均衡状态的条件下,基于智能合约技术构造理性委托计算方案。此外,设计一种可以从多维度测量信誉值的信誉机制,通过信誉值保证委托方对计算方的信任,并以此来提高方案的效率。(2)基于方向熵的理性安全两方计算协议。针对安全两方计算协议中的公平性问题,结合博弈论与方向熵思想,通过方向熵的取向矢量分别从不同维度对参与者的策略不确定性进行评估。此外,利用互信息对每轮交互信息的结果不确定度的缩减量进行量化,通过分析参与者各方的互信息量,利用互信息构建参与者的效用函数。根据理性参与者的效用最大化需求,对参与者双方的信道容量进行衡量,通过信道容量判别对方参与者的行为策略,以此构造一种基于方向熵的理性安全两方计算协议。(3)面向秘密共享的攻防博弈模型。针对在秘密共享过程中秘密被攻击者截取的问题,结合博弈论与信息论,提出面向秘密共享的攻防博弈模型。首先,从攻击者和防御者的角度建立攻防信道,并利用互信息对攻防双方的攻防能力进行描述。其次,通过分析攻防双方的攻防策略,寻找攻击者收益函数达到最大化的同时防御者的损失函数达到最小化的解,从而提出攻防双方的最佳攻防均衡状态。最后,根据攻防双方的攻防能力变化趋势,分析比较k值对攻防双方的攻防能力影响。

关键词： 区块链   云服务   智能合约   访问控制   可信执行环境  

摘要： 云服务是一种基于互联网的计算服务,将信息技术资源按照终端用户的要求提供给终端用户。云服务环境中最大的障碍之一是数据的安全,对数据的不受控制的访问给最终用户带来了许多重要的数据安全风险。云服务有三种交付模式,基础设施即服务(Infrastructure as a Service,IaaS)、平台即服务(Platform as a Service,PaaS)和软件即服务(Software as a Service,SaaS)。我们对PaaS模式下的云服务访问控制展开研究,主要解决在云服务商处部署业务的企业的访问控制问题。具体来说,针对云服务商不可信以及用户迫切希望自己业务的透明与可控问题,对区块链在传统云服务中的应用进行研究。区块链是一项新的热门技术,其透明、去中心化、可追溯、安全、不变、自动化等特点,对于云系统功能增强和隐私安全的改进方面有很大的潜力。本文以区块链的智能合约为基础,结合现有安全隐私安全技术研究区块链下的云服务访问控制模型,设计新的区块链云服务访问控制模型,并改善因引入区块链而给云服务带来的新的安全与性能的问题。其一,从现有的中心化模型的云服务角度出发,分析了传统云服务访问控制存在的局限性。引出结合区块链进行云服务访问控制的优势。介绍了去中心化区块链环境下的云服务访问控制模型以及现阶段国内外关于区块链云服务的研究现状。其二,针对云服务中数据共享存在的用户控制权不足以及单点故障问题。提出一种基于集成信用度评估智能合约的数据共享访问控制模型,该模型以电子病历(Electronic Health Record,EHR)共享为例,展示如何在区块链云服务模型下建立信用度评估机制,为患者提供可信的EHR共享环境,以及如何利用智能合约为患者提供动态访问控制策略接口。其三,针对链上智能合约隐私安全问题,提出可信云服务访问控制模型(Trusted Cloud Service Access Control Model,TCS-ACM)。该模型展示了可信执行环境(Trusted Execution Environment,TEE)与区块链技术相结合以实现安全、隐私、高效的链下智能合约访问控制效果。即如何利用TEE保证智能合约访问控制的隐私和高效处理,以及如何结合链上智能合约帮助企业实现业务的透明性和可审计性。其四,针对企业在云服务商处访问控制数据丢失、篡改、泄露等数据完整性问题。提出 BT-ACS(Blockchain Token Cloud Service Access Control Model),该模型展示了如何使用TEE技术和星际文件系统(Interplanetary File System,IPFS)为云服务商处企业的访问控制数据提供意外情况下的数据恢复能力和问题溯源的能力。

关键词： 智能合约   区块链   法律属性   法律规制  

摘要： 随着区块链技术的快速发展,智能合约的应用前景也更为广阔,智能合约是区块链技术最先进的应用,区块链为智能合约的建立提供了平台基础。智能合约可以在很多领域应用,比如智能合约可以通过“代币化”过程以数字形式代表资产,可以创建“去中心化自治组织”以及主要是在合同领域应用。而智能合约在合同领域的应用中是否能最大程度发挥优势,关键在于如何对其进行合理规制。本选题旨在分析在合同活动中的智能合约,正确认识其法律属性,在此基础上分析智能合约在实践中存在的法律问题并思考如何进行规制,即技术如何完善以及当前我国法律规定是否适用。全文分为三大部分,分别是绪论、正文和结语。绪论部分介绍了智能合约的研究背景、国内外学者在智能合约的属性、法律问题以及规制和救济措施等方面的研究现状以及论文的创新点。正文部分共有四章,第一章分别介绍了作为智能合约建立的平台基础的区块链的定义、特征和类型,介绍了智能合约的定义、特征和应用并且详细介绍了智能合约在合同领域中的四种具体应用场景。第二章对智能合约的属性进行了分析。通过从四种具体应用场景入手对智能合约在合同的表现形式、合同主客体、是否有要约和承诺以及是否存在意思一致等方面进行了详细的分析,认为智能合约具有合同属性并提出智能合约还兼具“电子代理人”的特征,以及对智能合约的其他属性观点进行了介绍和否定。第三章分析了智能合约在实践中存在的问题。分析了智能合约由于其自身特征在效力判定、执行和违约救济三个方面存在的具体问题,为下文提出规制建议奠定基础。第四章是对我国智能合约的规制提出的建议。在对比针对早期互联网提出的监管模式并分析了智能合约的域外监管模式基础上,提出我国关于智能合约的规制建议。由于智能合约发展的不稳定和初期性不宜进行大规模的法律改革,提出对现有的法律规定进行必要的解释并以技术完善相辅助就可以对其进行合理规制的建议。结语部分是对全文的总结和概括。

关键词： 施工现场   环境污染   区块链   智能合约   参与方行为分析  

摘要： 当前建筑工地噪声、扬尘、污水、固体废弃物无序排放问题频发。施工方是建筑施工现场环境治理的主体,地方政府对施工方的监管是落实施工现场环境保护制度的关键。一方面,当前的研究对施工现场环境污染管理参与方决策行为揭示不足,因此需要理清施工方和地方政府的利益关系并揭示其策略选择。另一方面,施工现场环境数据保存在纸质媒介或中心化数据库中,无法保证数据的真实性,区块链技术具有去中心化、防篡改、可追溯、自动执行等特点,具有解决以上问题的潜力。 针对上述问题,本文首先分析基于区块链的施工现场环境污染管理平台的参与方行为,阐述施工污染治理困境、利益诉求并提出博弈假设,在此基础上构建了施工方和地方政府之间的博弈模型,计算双方的收益矩阵并构建二维复制动态系统,分析地方政府和施工方的演化均衡策略,最后利用MATLAB模拟了系统演化过程。其次,构建了施工现场环境污染管理模型,从施工噪声、大气污染、固体废弃物、光污染和水污染五个维度设计了施工现场环境污染管理效用评价体系,在此基础上设计了基于区块链的施工现场环境污染管理平台(Blockchain-based Platform for On-site Construction Environmental Management,B-OCEM),最后基于Hyperledger Fabric开发了一个系统原型,阐述了环境数据共识上链流程、智能合约内容,利用实验室数据验证了系统的可行性。 研究表明,中央政府及公众对地方政府采用B-OCEM平台的支持度会对地方政府的策略选择产生扭转性作用,地方政府的奖惩制度是影响施工方行为的主要因素。区块链可以向参与者提供真实可信的施工现场环境数据,并通过实施智能合约来提高环境监测的效率和可靠性,改善施工现场环境污染管理。

关键词： 茶叶溯源   联盟链   超级账本Fabric   智能合约   冷链物流  

摘要： 茶叶是我国历史悠久的重要农业经济作物。茶叶虽不像生鲜产品易腐败,但运输过程中温湿度变化都会导致茶叶氧化从而影响茶叶的品质和口感。采用茶叶冷链物流模式能减少运输过程中发生氧化的概率从而保证茶叶的品质。传统茶叶溯源体系存在中心化严重、信息不透明且易被篡改等问题,导致茶叶质量安全得不到保证,也让消费者对茶叶溯源信任缺失。区块链技术作为一种分布式数据库具有去中心化、防止篡改、信息透明等特性,利用区块链技术能很好弥补传统茶叶溯源体系的缺陷,保证茶叶溯源信息透明、可信。本研究的主要工作结果如下:(1)根据茶叶冷链物流追溯特点与对比各类区块链的技术特点,确定茶叶种植采摘、加工、冷链物流与销售等基本追溯单元,以联盟链超级账本Fabric为可信溯源底层架构平台,设计基于联盟链的茶叶冷链物流的追溯方案。(2)使用Go语言编译智能合约;对茶叶的种植采摘、加工、冷链物流、销售等基本追溯单元模块分别创建一个智能合约,设计每个智能合约结构体的存储属性,用户查询以及数据存储等智能合约的业务处理逻辑。(3)利用区块链分布式数据库的特性以及茶叶产业链流程和智能合约数据存储属性,基于PBFT共识算法设计茶叶冷链物流溯源平台数据库,以联盟链网络作为茶叶溯源平台数据库对茶叶基本追溯单元信息上链,保证各单元信息的真实性。(4)进行联盟链超级账本Fabric环境配置与搭建其Fabric网络,实现基于联盟链的茶叶冷链物流可信溯源平台,完成区块链中基本追溯单元读写功能,消费者通过前端接口调用智能合约与账本交互功能,对茶叶溯源信息进行查询。

关键词： 电子发票   财务人员   重复报销   区块链   智能合约  

摘要： 随着互联网的飞速发展,区块链的技术也愈发成熟。在“互联网+税务”的时代,我国税务系统目前正处于发票电子化改革的发展期,为尽快建成智慧税务及与当今时代匹配的现代税收征管体系,基于区块链的电子发票管理系统是一个未来发展的必然趋势。 电子税务发票作为个人报销凭证,和企业留抵退税的一个重要凭证,容易存在着重复报销和伪造的风险,中心化的数据存储方式,数据容易被篡改,而且由于目前技术原因,各个省份之间并没有互联互网,税务发票存在信息不对等,许多跨省份的业务操作成为税务工作的难点,导致一部分税务稽查工作难度增大,同时,目前企业开具发票的主要方式是需要税控工具辅助开具发票的,这也增大了操作人员的工作量和工作难度。 本文利用区块链数据不易篡改,数据可溯源的特点,同时结合了以太坊、智能合约、DAPP等技术设计并实现了一套基于区块链技术的电子发票管理系统,主要包括用户管理模块,电子发票的开具、查验、红冲功能,节点管理模块,历史记录模块,用户迁移模块。 本系统不仅可以提高数据存储的安全性、可靠性,还能够解决传统发票开具系统中数据易损毁、易篡改等缺点,并且还能杜绝电子发票重复报销的问题,同时也能减少税务工作人员和企业财务人员的工作量,是继新时代的税务系统推出电子发票后,税务系统变革的又一次新尝试,具有非常重要的研究意义和推广价值。

关键词： 数字资产   区块链   智能合约   IPFS  

摘要： 文创产业在国家的高度支持下快速发展,以互联网企业为代表的数字经济主体强势崛起,数字化内容的传播速度更快,创作形式更加丰富多彩,传播渠道更加多元化。然而,互联网的开放和共享特性,给数字资产版权保护与交易带来巨大的挑战。传统的数字资产管理模式存在三大问题,第一,数据存储安全性差,数据资产存储在中心化服务器中,数据存在泄露与篡改风险;第二,数字内容可以无限量复制,在交易过程中因资产确权繁琐,存在盗版和侵权现象;第三,数字资产缺乏有效运营机制,用户对数字资产的权属敏感度不高,数字资产流通率低,无法发挥其深度价值。NFT底层依托区块链与智能合约技术,使数字资产以开放无需信任的形式存在。基于互联网的快速发展对数字资产的版权和流通的迫切需要,将数字资产管理与NFT相结合进行重点研究,设计实现了基于NFT、面向数字资产、使用IPFS分布式文件系统、智能合约上链的数字资产管理平台。论文研究工作可总结如下:(1)设计基于IPFS分布式文件系统的数字资产存储方案。通过SHA-256加密算法生成数字资产的唯一标识,保证数据内容不可篡改,通过建立IPFS文件存储集群,加速分发数据并提高访问速度,保证数据存储的安全、可靠性和可用性。(2)设计基于ERC-721标准智能合约的NFT数字资产发行方案。通过部署智能合约至以太坊测试链,通过交易消息触发合约事件执行,完成NFT的创建、转移、购买、销毁等功能。(3)结合数字资产存储方案与数字资产发行方案,设计数字资产管理平台的整体功能和技术架构,完成了数字资产管理模块、智能合约管理模块、账户管理模块、NFT管理模块、任务管理模块等功能的详细设计,将数字资产的使用权与所有权,通过区块链记账的方式进行管理。(4)结合CGYUN互联网协同制作平台的实际业务需求,实现CGNFT数字资产管理平台,邀请动漫制作团队入住,将数字文创项目的版权与IP衍生内容发布成NFT,为文创团队提供全新的数字资产的发行方式,可以像处置实物资产一样收藏、使用、分享和转移数字资产,经测试系统可稳定运行,可为数字媒体资产化提供持续稳定服务。CGNFT数字资产管理平台结合区块链与智能合约技术,有效解决传统资产管理系统中存在的流通与版权问题,为数字资产在现实世界中的确权提供凭证,增加数字资产信息的可信性、安全性,规范数字文创版权保护,能有效促进实体资产和虚拟资产的相互融合与流通,激发数字内容市场活力。

关键词： 智能合约   合同属性   效力认定   建议  

摘要： 智能合约是民事主体遵循自愿原则订立的,以计算机代码形式表现出来,引起当事人之间法律关系变动的能够自动执行的合同。智能合约具有匿名性、不可篡改性、自动执行性以及去中心化的技术特性。智能合约具有法律合同属性,存在缔约主体、意思表示、能够引起缔约主体权利义务变动的内容以及“要约-承诺”结构等合同要素。智能合约是一项不断完善的技术合约,与传统合同既存在联系又有很大差异。目前来看智能合约的效力认定与传统合同的效力认定情形相契合。在智能合约技术中,表现形式为将合意内容转化为代码形式,而代码本身存在缺陷,并且将自然语言、法律语言转化为代码语言存在导致意思表示出现偏差的风险。且智能合约匿名性、不可篡改、自动执行以及去中心化的技术特性导致传统合同法律效力评价失去了应有的作用,架空了效力规则,认定智能合约合同效力的难度较大。且由于技术的不成熟加上法律存在滞后性等原因,目前法律对于智能合约的定义、法律属性及效力认定等方面并未有明文规定,大大增加了智能合约的合同效力认定的困难。目前域外大部分国家对智能合约的法律地位予以承认,部分国家将智能合约纳入法律框架,明文规定智能合约的法律效力。本文在充分认识智能合约的理论基础上,分析研究智能合约合同效力认定存在的困难,借鉴域外对智能合约法律地位和效力认定的经验,提出认定智能合约合同效力的建议,以期加强智能合约效力认定立法。本文共分为四个部分。第一部分介绍了智能合约的基本内涵及其效力认定情形。基本内涵从智能合约起源出发,简述不同学者对智能合约的界定,通过智能合约与电子合同的对比,对智能合约的概念进行界定,阐述智能合约的特征,提出智能合约的合同法律属性,简要介绍智能合约的运行机制。智能合约效力认定情形与传统合同的效力情形相对应,包括有效情形、无效情形、效力待定的情形以及可撤销的情形。第二部分分析了智能合约合同效力认定的困境。首先是智能合约技术与合同法律交叉的冲突,包括智能合约对传统诚实信用原则的挑战和智能合约代码与合同法语言释义的差异,代码的局限性给缔约主体权利义务的表达带来了挑战,并且法律语言转化为计算机代码存在困难。其次,智能合约技术特性架空了合同法律效力评价,智能合约技术特性对合同生效要件产生了冲击,限制了合同法律效力状态。最后是智能合约缺乏相应的法律支撑。第三部分介绍了域外国家智能合约效力认定的立法现状,并根据域外国家立法经验的借鉴意义,得出对我国智能合约效力认定的启示。第四部分提出了智能合约合同效力认定的完善建议。包括对智能合约技术与合同法律之间存在的矛盾进行协调以及使智能合约与合同法律效力评价相契合,利用技术和伦理规范事前遵循诚实信用原则和加强智能合约代码审计,对智能合约的生效要件予以明确,发挥效力评价机制的作用。并在最后提出加强智能合约效力认定立法的设想。

关键词： 共同配送   利益分配   区块链   智能合约  

摘要： 近年来,我国物流发展迅猛,快递物流企业的配送成本也越来越高,为解决这一问题,越来越多的快递企业开始关注共同配送这一方向,由于多方因素影响,如何科学建立共同配送联盟,进行合理的利益分配仍是企业进行共同配送的重点与难点。研究快递物流企业间采纳共同配送考虑的影响因素机制,对共同配送的合理运行有着非常重大的意义,另外,在共同配送问题上,利益分配问题也始终是学者研究的重点,本研究在考虑共同配送影响因素的基础上,采用区块链智能合约技术解决了快递物流企业间的利益分配问题。本文的主要研究内容如下:(1)通过文献支持进行共同配送衡量因素的选取汇总,对企业采纳共同配送考虑的各影响因素进行关系分析以及路径假设,确立了共同配送影响机制的相关指标,指标包括物流设施建设,共同配送利益,共同配送成本,共同配送风险,共同配送意愿。通过问卷获取数据,并进行数据建模分析,包括对样本数据进行探索性因子分析以及验证性因子分析分析,最终进行结构方程模型建模分析。在模型拟合后对模型进行评价并研究其中介效应,最后进行假设结果分析。(2)结合共同配送影响因素,对共同配送利益中考虑的利益分配问题进行研究,引入快递业务量,快递资源投入量,区块链建设能力,风险指数四个修正因子,通过北京市海淀区四家快递企业的相关指标进行利益分配研究,对初始利益分配模型进行修正,并分析了各指标权重一致,以及权重不一致时的情况,为共同配送利益分配问题提供解决方案。(3)通过以太坊虚拟机模块进行共同配送利益分配智能合约的执行与调用,调用时根据合约地址获取到代码,从而进行利益分配的方案落地。通过以太坊智能合约虚拟机编写逻辑代码,发布到以太坊测试网络,在智能合约在参与协同配送的公司之间建立直接沟通渠道,实现协同配送联盟利益分配的高效完成,减少收益分配的时间成本,提高整个参与企业之间收益分配的可信度。

关键词： 区块链   供应链协同   智能合约  

摘要： 在供应链中,实体企业之间的关系繁冗复杂,这些实体企业之间会产生大量的信息流。这些信息在多种实体之间进行共享,通过业务协同、多方协作促进供应链发展,是提高供应链整体效率的关键点。在传统的中心化模式背景下,合同普遍在中心化数据库中存储和管理,存在信息易篡改、追溯难、违约纠纷处理难等一系列弊端,这会激化企业合作方之间的矛盾,阻碍供应链中企业之间的协同运作。此外,供应链协同的过程复杂、周期长,这会造成协同效率低下、成本增加等问题。近年来,区块链和智能合约的去中心化思想、数据分布式存储机制和数据不可篡改等特性为解决数据的安全性存储提供了途径。因此,利用区块链技术,在研究智能合约基础上,实现供应链的各合作主体间自主协作和价值信息的交换具有非常重要的现实意义。 本文首先基于区块链技术,提出并设计一种基于区块链智能合约的供应链协同模型。通过分析供应链流程中存在合同存储和管理方面的问题,确定供应链协同过程中业务逻辑;在明确各主体需求基础上,进行智能合约设计,设计内容包括信息上链、交互信息管理以及信息追溯,由此建立区块链上的数据存储模型。其次,实现供应链中企业信息和合同信息的存储结构和信息上链功能;考虑到供应链参与者众多,业务逻辑复杂,在智能合约的支持下,建立相应的合约函数规则,用以规范操作行为;通过合同交互信息管理功能实现供应链中企业间交互;通过信息追溯功能实现供应链中企业间的协同。最后,以服装供应链中企业为例,利用truffle框架将信息存储至区块链,在以太坊区块链平台上对所提出的供应链协同模型进行验证。本文利用以太坊网络搭建分布式的节点可共同维护链上数据,保障链上数据不被篡改,从而提高整个供应链中信息追溯的可信度和可靠性。 本文是将智能合约技术与供应链协同相结合的一次尝试,探究了区块链技术应用在该领域的可行性,为解决传统平台中数据透明度低、数据易篡改、判定责任难、交易成本高等问题提供了一个有效的解决思路。