【作者】 王昌晶; 欧阳俊媛; 张取发; 左正康; 程着; 卢家兴

【作者单位】江西师范大学计算机信息工程学院;江西师范大学管理科学与工程研究中心;江西师范大学国家网络化支撑软件国际合作基地;

【文献来源】通信学报

【复合影响因子】2.347

【综合影响因子】1.740

【主题类别】

区块链应用-实体经济-拍卖领域

【摘要】为了提升拍卖合约时间安全性的验证效率，且更为简单直观、高效率地验证拍卖合约的公平性，提出了基于角色的拍卖合约抽象建模及其时间安全性与公平性验证方法。首先，对合约源代码进行分析，采用基于账户角色的抽象建模方法将其转换为时间自动机网络模型，并对与时间相关的安全性进行形式化描述，使用UPPAAL工具进行验证。其次，对合约源代码进行机制提取，建立智能合约机制模型，使用抽象建模的方法将其转换为时间自动机网络模型，并对4种公平性进行形式化描述，使用UPPAAL工具进行验证。最后，通过2个经典的拍卖合约案例，证明了提出方法的可行性和有效性。

【关键词】拍卖合约;;时间安全性;;公平性;;时间自动机;;UPPAAL

【文献类型】 实证数据

【DOI】

【发表时间】2024-10-24

【作者】 杜立宽; 刘晨; 王俊陆; 宋宝燕

【作者单位】辽宁大学信息学部;

【文献来源】计算机科学

【复合影响因子】1.722

【综合影响因子】1.149

【主题类别】

区块链技术-核心技术-分片区块链

【摘要】区块链分片技术是提高区块链系统吞吐量的有效方法。现有区块链分片方法多采用静态平行架构分片方案，未解决跨分片交易比例高的问题，导致吞吐量降低以及潜在的无限交易确认延迟。因此，针对这些问题，提出一种基于自学习的星型链空间自适应分配架构。首先，针对区块链分片系统中跨分片交易比例高的问题，提出一种信标链-分片链架构吞吐量模型；其次，综合分片区块链的吞吐量和时延的关系，在星型链空间动态决策过程，设计星型链空间奖励函数；最后，提出一种分布式多智能体强化学习动态聚类方法，将每个分片作为智能体共同学习合作策略。实验结果表明，本文提出的方法在吞吐量、跨分片交易比率和交易确认延迟等方面，相比现有方法提升约31.74%、35.96%和37.13%。

【关键词】区块链;;分片;;深度强化学习;;跨分片交易

【文献类型】 实验仿真

【DOI】

【发表时间】2024-10-24

【作者】 刘炜; 李淑培; 田钊; 佘维

【作者单位】郑州大学网络空间安全学院;郑州市区块链与数据智能重点实验室;郑州大学互联网医疗与健康服务河南省协同创新中心;河南省网络密码技术重点实验室;郑州大学计算机与人工智能学院;

【文献来源】郑州大学学报(理学版)

【复合影响因子】1.006

【综合影响因子】0.691

【主题类别】

区块链技术-核心技术-访问控制

【摘要】传统的基于单一授权机构的访问控制方案存在单点故障、效率低下等问题,为此提出一种基于区块链的去中心化多授权机构访问控制方法。首先,采用基于联盟链的多授权机构取代传统访问控制方法中的中心化实体,提供可靠、细粒度的访问控制;其次,智能合约允许自动化访问判决,为了解决多授权机构带来的访问效率问题,提出一种基于智能合约的数据映射算法,利用数据关键信息构建映射表实现数据快速访问;最后,实验表明所提出的方案能够有效降低用户访问时延,实现数据访问过程中的安全共享。

【关键词】访问控制;;区块链;;智能合约;;属性加密;;数据共享

【文献类型】 实验仿真

【DOI】 10.13705/j.issn.1671-6841.2024032

【发表时间】2024-10-24