关键词： 区块链   分布式系统   慈善   智能合约  

摘要： 慈善事业是社会治理的重要组成部分,但是由于慈善记录储存在一个集中的数据库中,信息容易被篡改,再加上监管力度也不够,导致公众对慈善事业信任度的下降。为了解决这个问题,引入区块链技术概念,结合对传统慈善募捐平台运行的模式剖析和善款物资溯源适配性的研究,设计了一套基于区块链技术的募捐信息溯源存储模型,为提高慈善事业现代化治理提供一套区块链解决方案。

关键词： 物联网   密钥管理   智能合约   动态密钥生成   身份加密体制   无安全通道   两类敌手攻击  

摘要： 针对现有物联网分布式密钥管理系统存在的密钥分发不灵活、身份信息一致性维护开销大和密码协议设计复杂等问题,提出一种基于身份密码框架IBC和基于证书密码框架PKI机制融合的分布式轻量级动态密钥管理方案。融合IBC和PKI优势设计出一种动态密钥生成模型,提高密钥管理的安全性和灵活性。重新设计智能合约实现密钥管理过程中的去中心化身份验证,降低密钥协议设计复杂度和身份信息一致性维护开销。与现有方案进行性能和安全性对比,验证了该方案理论正确,能够抵挡恶意服务器攻击等两类敌手攻击,安全性更高。

关键词： 区块链   智能合约   智慧财务管理   应用  

摘要： 在新兴信息技术不断发展的新时代浪潮下,区块链已上升到数字经济重点产业的国家重要战略地位,笔者结合区块链智能合约的特性及多年从事高校财务信息化建设工作的研究成果,从财务管理视角加以分析,提出智能合约在高校智慧财务管理中的应用方案,为财务信息化、精细化和数智化管理的发展注入催化剂,为区块链在会计领域的应用探索新方向,解决财务管理中存在的问题,提高财务管理水平。

关键词： 区块链   智能合约   时间自动机   UPPAAL工具   模型验证   映射规则  

摘要： 区块链是一种去中心化的计算范式,在诸多领域具有良好的应用前景。智能合约是区块链应用的关键,然而,智能合约的安全问题时有发生,有些甚至造成重大的经济损失。为了避免智能合约在设计开发阶段出现由逻辑不严谨或错误逻辑所造成的安全漏洞,提出一种基于时间自动机模型的安全智能合约生成方法。相较于直接编写合约代码,该方法通过将证明为正确的模型转换为可执行的智能合约代码,有效解决在智能合约开发设计阶段所存在的安全性问题。利用UPPAAL工具将人类可理解的文本合约建模为时间自动机并通过模型验证来确保模型的安全性和可靠性。通过对智能合约的正式定义建立时间自动机与智能合约的映射规则,根据相应的映射规则,时间自动机被转换为模块化的Solidity智能合约代码。设计一个具体的商品预售活动案例进行分析,结果表明,通过所提方法生成的商品预售合约的Solidity代码可成功编译并部署在以太坊测试网络中。

关键词： 智能合约   区块链   以太坊   有机蔬菜   交易平台  

摘要： 该文旨在设计一种基于区块链技术的有机蔬菜交易平台,以解决传统蔬菜交易中的信任问题和信息不对称现象。该平台利用以太坊和传统电商系统相结合的技术方案,利用区块链去中心化、不可篡改和透明等特性,传统电商系统负责蔬菜交易,而区块链系统则负责存储交易信息并保护用户隐私,智能合约确保交易的安全性和可信度。由于区块链系统具有正确性和不可篡改性,能够对蔬菜进行溯源,从而进一步约束商家以保障蔬菜质量。

关键词： 区块链   智能合约   差旅管理   账务处理  

摘要： 文章基于区块链技术的差旅事务BCTM模型,首先对区块链技术下的差旅流程进行再造,设计新型差旅账务处理模式,在此基础上,分析交通和住宿方案的优先级和票据审核流程,实现基于智能合约的差旅票据合理性及合规性的智能审核策略。以某高校现有差旅账务处理系统作为对照组的实验表明,提出的模型能够提高报账处理的可靠性和效率,且有利于提高审计效率和税务稽查对接,实现“无财务人员干预”的差旅报账处理,对区块链应用于财务处理做出了有益的探索。

关键词： 航空辅营   区块链   对账   智能合约  

摘要： 航空服务产品多元化、差异化发展需要航空辅营产品的模式创新.产品销售过程中,多方参与者交互数据的过程中存在数据格式不统一、信任度不高、对账效率低等问题.在航空辅营产品销售佣金结算系统中引入区块链技术,有助于解决账期长、主体多、付款难等难题.本文在传统佣金结算系统现状分析基础上,基于分布式账本的特点与优势,设计一种基于区块链技术的航空辅营产品销售佣金结算模型,并对系统的基本架构和业务流程进行描述和分析,实现航空辅营产品销售全流程业务的闭环,为加快培育民航数字产业生态提供研究支撑.

关键词： 跨境电商   在线纠纷解决机制   智能合约  

摘要： 跨境电商纠纷解决难已经成为阻碍跨境电商快速发展的问题之一,它的网络性和国界性挑战着我国一般法律原理和现行法律规则。文章通过对跨境电商在线纠纷解决机制的比较和借鉴,提出我国应当建立在线解决机制的统一规则,做好法律规则之间的衔接与协调,建立消费纠纷的预警机制,加强区块链技术与智能合约在司法领域的突破,完善督促机制推动执行力度,才能做好跨境电商法律制度与国际社会的衔接,实现跨境电商的可持续发展。

关键词： 数据要素市场   数据资产定价   数据交易收益   效用理论   智能合约  

摘要： 数据资产化是推动数据要素市场化流通的关键环节。本文建立了数据资产智能合约会员定价、数据资产交易平台定价和数据资产组合定价模型,针对数据所有权和用益权交易方式,研究数据资产价格与交易收益及效用之间的关系。本文研究发现:数据资产定价机制、交易主体收益与效用等是影响数据要素市场化流通的主要因素。通过机制分析表明:一方面,利用区块链智能合约对数据交易进行跟踪与定价,以实名制会员注册信息,形成数据资产交易合同验证等智能化会员合约,能在有效保障数据交易安全的前提下,降低数据资产交易价格;另一方面,通过数据估值与资产定价两阶段定价模型,能有效挖掘数据价值和优化资产价格,形成不同权属的数据资产动态定价策略,实现供需双方效益最大化。而且数据交易成本越高,生命周期越短,买方效用越低,市场评价越差,客户越容易流失。因此,需要加强数据交易市场与资本市场深度融合,建立规范、高效、安全、便利的数据资产化服务体系,促进数据要素市场化流通。

关键词： 区块链   访问控制   基于密文策略的属性加密方案   访问令牌   智能合约  

摘要： 区块链和基于密文策略的属性加密(Ciphertext Policy Attribute Based Encryption,CP-ABE)相结合的方案已经被广泛应用于云上共享数据的访问控制,但是这些方案中数据用户的隐私保护问题并未得到妥善解决。一些研究引入分布式多属性授权中心的基于属性的签名方案(Distributed Multi-Authority Attribute Based Signature,DMA-ABS)来保护数据用户的隐私,但当数据用户多次访问数据时需要进行重复的权限验证,这会带来多余的时间消耗问题。并且,在数据用户的属性和访问控制策略保持相对稳定的情况下,数据用户无限制地重复访问共享数据,会导致系统过载,影响正常的请求处理。这可能会引起云端数据的泄露,给云端数据的安全带来隐患。为了解决这些问题,文中提出了一个基于区块链的云上个人隐私数据访问控制方案。该方案首先将智能合约和多属性授权中心的CP-ABE方案结合,实现了云上个人隐私数据的细粒度访问控制,并引入DMA-ABS方案完成了对数据用户的匿名性身份验证,保护了数据用户的身份隐私;其次,基于比特币UTXO(Unspent Transaction Output)机制,设计了一种数字令牌token,实现了一次授权、多次访问的功能,即缩短了访问时间,又限制了访问次数;最后,在Hyperledger Fabric上进一步实现了访问控制流程,并与现有方案进行了访问时间开销的比较。实验结果表明,所提方案能够有效降低访问时间开销,提高访问效率。