关键词： 数据共享   知识密集型服务业   激励机制   区块链   智能合约   策略选择  

摘要： 过高的初始投资和维护成本以及知识密集型服务组织间天然竞争关系限制区块链广泛应用及数据共享平台发展。通过对知识密集型服务业数据共享策略进行演化博弈分析,构建一种基于区块链智能合约的知识密集型服务组织的数据共享动态激励机制。针对产业数据共享现状,于博弈模型中引入区块链投资维护成本、数据竞争成本及激励成本/收益3个影响因素,通过复制动态方程分析组织间数据共享演化稳定策略。设计数据共享激励规则,并利用智能合约技术实现动态调整激励成本/收益,鼓励服务组织积极参与数据共享。结果表明:当服务组织接受符合数据共享策略条件的激励收益后,数据共享参与者比例最终达到饱和,且激励收益越大,趋近饱和状态的速度越快;针对不同数据共享策略的激励成本不仅有效增加知识密集型服务组织参与数据共享的意愿,且为知识密集型服务业数据共享平台带来额外收入。

关键词： 算力交易   区块链   智能合约   双向拍卖   可信度  

摘要： 为了解决算力资源交易过程中的效用低、可信度低、安全性差等问题,考虑设备可信度和设备移动性对边缘计算成本的影响,首先建立了以数据价值为衡量标准的社会效益最大化模型。其次利用贪婪算法求解该优化模型,基于多对多双方竞拍博弈和裁剪算法对算力资源拍卖过程进行了改进。最后采用去中心化、公开透明、不可篡改的区块链技术,制定了智能合约机制,对拍卖过程进行管理监督。结果表明,所提的模型机制在现有机制的基础上进一步保证了交易的真实性,提高了算力资源交易效用,有效提高了交易过程的可信度和安全性。

关键词： 智能合约   数据共享   代理重加密   电子病历   无证书体制  

摘要： 提出一种基于无证书代理重加密的区块链电子病历数据共享方案。利用无证书代理重加密实现数据的隐私保护与安全访问控制,克服基于身份的公钥密码体制中存在的密钥托管问题,降低密钥管理成本。利用星际文件系统(InterPlanetary File System,IPFS)存储加密后的电子病历数据密文,避免传统服务器单点失效和存储容量受限的问题。将智能合约作为可信第三方,实现分布式密钥生成与多用户访问权限授权,确保数据的安全共享,改善传统云服务器的半可信问题。安全性分析结果表明,所提方案在随机谕言机模型中具有选择明文攻击下的不可区分性。仿真结果表明,与传统电子病历共享方案相比,该方案具有更高的计算效率,且拥有更低的Gas消耗。

关键词： 智能合约   Solidity   程序转换   操作语义   等价性证明  

摘要： 智能合约是运行在以太坊区块链上的脚本,能够处理复杂的业务逻辑.大多数的智能合约采用Solidity语言开发.近年来智能合约的安全问题日益突出,为此提出了一种采用时序逻辑程序设计语言(MSVL)与命题投影时序逻辑(PPTL)的智能合约形式化验证方法,开发了SOL2M转换器,实现了Solidity程序到MSVL程序的半自动化建模,但是缺乏对Solidity与MSVL操作语义等价性的证明.首先采用大步语义的形式,从语义元素、求值规则、表达式以及语句4个层次详细定义了Solidity的操作语义.其次给出了Solidity与MSVL的状态、表达式和语句之间的等价关系,并基于Solidity与MSVL的操作语义,使用结构归纳法对表达式操作语义进行等价证明,同时使用规则归纳法对语句操作语义进行等价证明.

关键词： 区块链技术   信息安全   分布式账本   智能合约   去中心化  

摘要： 为了提升信息安全水平,深入剖析区块链技术在信息安全领域的应用,介绍区块链技术的定义、原理和应用领域,分析信息安全现状与挑战,强调区块链技术在提高信息安全性、数据透明性和抗攻击性方面的独特优势,并进行案例分析,以期为信息安全提升提供新的思路。

关键词： 区块链   智能合约   共识机制   电子病历系统  

摘要： 传统的医院管理系统大多采用中心化存储方式,即电子病历数据被集中保存在数据库中。然而,这种中心化存储方式存在明显弊端,如病历数据易泄露以及信息共享困难。为解决上述问题,本文设计了一个创新平台,该平台将传统数据库与区块链技术相结合。与单一的数据库存储方式不同,本文采取了一种混合存储策略:单独的病例数据依然保存在传统的数据库中,以确保数据的高效管理和查询;而患者个人资料以及病例在数据库中的索引数据则存储在区块链网络中,利用区块链的去中心化、不可篡改的特性,增强数据的安全性和可信度。

关键词： 企业会计核算   分布式记账技术   区块链技术   记账规则   会计信息   智能合约   信息不对称   应用优势  

摘要： 分布式记账技术是区块链技术的核心技术,分布式记账技术采用了共识制度,保证不同节点的权利一致性,实现节点资源的共享,有效缩短记账时间,实现钱账一体化。区块链技术采取的智能合约可以提前制定好记账规则,记账请求满足记账规则时,节点会自动同意并生成账本,不需要审核。并且,因为不同节点之间具有独立性,信息的传输具有不可篡改性,因此可以完全保证账本的安全性,并且借助区块链技术进行会计信息的共享,可以有效降低不同节点间的信息不对称。鉴于分布式记账技术在会计核算中的应用优势,分布式记账技术必然成为未来会计核算的重要工具,本研究结合分布式记账技术的应用实践经验,探讨了分布式记账技术对企业会计核算效率的影响。

关键词： 供应链溯源   区块链   智能合约  

摘要： 阐述针对传统供应链溯源系统中的问题,在即时零售的应用场景下,提出一种基于区块链的供应链溯源系统模型。通过区块链技术保障产品溯源信息的可靠性,结合区块链智能合约实现全链路溯源。

关键词： 区块链   智能合约   刑事司法   信息数据处理  

摘要： 以“全面推进法治现代化”为指引,近些年来我国刑事司法与人工智能结合,并取得了一系列创新性成就。随着区块链技术的飞速发展,区块链智能合约凭借其“安全性、匿名性”等优势在诸多领域被广泛应用,因此,本文在研究区块链技术的基础理论、优势及发展等现状,结合刑事司法实践目前存在的问题,探究其在智慧司法可能发挥的作用,重点从技术优势、司法现状、平台设计、系统组建和管理等方面促进区块链智能合约技术与信息数据系统融合,提出区块链智能合约技术助力智慧刑事司法创新的路径。

关键词： 访问控制   电子病历   用户委托   智能合约   区块链   以太坊   物联网  

摘要： 为提高电子病历共享过程中的安全性和灵活性,提出一种基于智能合约的访问控制委托框架,实现不同实体间的电子病历共享,同时还可以授权其它实体对其电子病历进行委托管理。基于3种智能合约,分别用于访问控制、错误访问检测和用户委托,使访问权限和委托权限的授予具有可追溯性。通过私有以太坊系统对访问控制框架进行委托功能实现及性能评估,验证了框架具有较高可扩展性、可靠性和可操作性,对优化电子病历系统具有参考性价值。