关键词： 智能合约   联邦学习   公共卫生突发事件   联邦存储  

摘要： 公共安全突发事件中对数据安全的重视程度越来越高,联邦学习由于不再需要上传数据到中心服务器进行计算,减少了隐私泄露的可能而受到广泛关注。然而当前基于智能合约的联邦学习由于运算较大,存在着效率低等缺陷,因此本文提出了一种面向公共卫生突发事件检测的智能合约与联邦存储的异步联邦学习方法。该方法允许联邦节点在任何时间加入和退出联邦学习;依托智能合约与分布存储,进一步增加了公共卫生安全领域的数据安全与训练效率;同时采用自适应的差分隐私对其上传到分布式存储节点的梯度进行动态保护,进一步降低了隐私泄露的风险。在公共数据集和公共卫生安全数据集上大量的实验表明,本文提出的方法在精度上优于已知的对比方法,且在达到相同精度的情况下所需时间更少。

关键词： 区块链技术   供应链管理   信息共享   智能合约   追踪与溯源  

摘要： 随着经济一体化和数字化转型的加速,供应链管理面临透明度不足、信息不对称和信任缺失等挑战。凭借去中心化、不可篡改和透明性等特性,区块链技术为解决这些问题提供了新思路。文章探讨了区块链技术在供应链管理中的应用现状与未来发展趋势,分析了其在信息共享、追踪与溯源、智能合约等方面的优势,并提出了实施过程中可能遇到的挑战与解决方案。

关键词： 身份管理   区块链   智能合约   零知识证明  

摘要： 传统的身份认证模型大多依赖可信第三方,采用中心式身份管理和验证方式,易受单点故障影响而导致信息泄露,难以保证数据的安全性和完整性。因此,文中提出了基于区块链和零知识证明的高效安全身份认证方案。此方案基于区块链去中心化、可追溯、不可篡改等特性,采用改进的Shrubs Merkle Tree数据结构存储身份信息,降低身份信息更新的计算开销,提高验证效率;构造零知识证明方案,在不向验证者提供任何敏感信息的情况下对身份信息进行验证,同时采用链上链下分步证明,保证身份信息的隐私性及交易不可关联性。在以太坊测试链中进行仿真实验,结果表明该模型具有较好的安全性、隐私性、可行性。

关键词： 区块链   智能合约   漏洞检测工具   评价体系  

摘要： 智能合约是实现区块链众多应用的基础,有效的漏洞检测工具能够挖掘出智能合约的潜在漏洞,减轻区块链应用面临的安全威胁。然而,现有漏洞检测工具种类繁多,缺乏行之有效的评价体系,无法有效衡量漏洞检测工具的质量。针对这个问题,首先对智能合约面临的安全威胁进行了阐述;接着,对行业内主流的智能合约漏洞检测工具的现状及其缺点进行了深入的分析;最终,提出了智能合约漏洞检测工具的评价体系,涵盖覆盖率、性能效率、准确性和可用性等多维度,对于提高智能合约的安全性具有重要的指导意义。

关键词： 智能合约   漏洞检测   迁移学习   MixStyle   最大均值差异  

摘要： 研究提出了一种基于混合风格迁移的智能合约漏洞检测方法,旨在解决智能合约新漏洞出现时数据集不足和无法有效检测未知漏洞问题。首先,从智能合约源代码中提取抽象语法树,使用图注意力网络捕获节点间的依赖关系和信息流;然后,采用最大均值差异实现从旧漏洞到新漏洞的有效知识迁移,从而增加深度学习模型训练的数据量;最后,在分类器中融入MixStyle技术增强模型的泛化能力并提高对新型漏洞类型的识别准确度。实验结果表明,在4种漏洞类型的检测上,该方法在F1、ACC、MCC指标上优于BLSTM-ATT、BiGAS、Peculiar方法。

关键词： 区块链   变更管理   智能合约   信息系统  

摘要： 为解决工程项目变更中存在的信息不透明和可追溯性差等问题,提出了一种基于区块链的工程项目变更管理信息系统,并通过工程变更案例来模拟和演示区块链系统的功能模块.结果表明:去中心化工程变更管理信息系统能够有效解决传统变更管理中信息碎片化、数据来源真实性差和智能化程度低等问题,并以安全及防篡改的方式共享、存储和管理变更信息;此外,通过智能合约实现变更程序的合规性审查,从而提高工程项目的变更处理效率,为建筑行业内的技术革新和管理改进提供了新的视角和方法.

关键词： 区块链   数据存证系统   智能合约   设计模式   分层架构   多业务场景   关系型数据库  

摘要： 针对区块链存证系统多需对不同业务场景的存证内容开发特定智能合约及对关系型数据存证操作不便的问题,提出了面向多业务场景的智能合约分层架构、设计模式及基于集合论的智能合约对关系型数据的操作方法。通过对不同智能合约间及智能合约同数据表间的解耦,提高了智能合约代码的可扩展性,并能有效支持以键值对数据库为底层存储的区块链对关系型数据库表及数据的存证操作,实现对已有政务业务数据的存证。实验结果表明,提出的存证方案具备可行性和有效性,并可大幅减少智能合约的开发工作量。

关键词： 数据交易   智能合约安全   漏洞检测   漏洞修复  

摘要： 基于智能合约的数据交易有效克服了传统交易中的中心化、单点故障以及交易不透明等问题，显著提升了交易效率。然而，贯穿交易全程的智能合约由于其核心地位也面临着许多潜在威胁。首先概述了数据交易流程及合约漏洞现有的检测方法，接着按照数据交易中数据拥有者、数据请求者以及数据交易平台三个实体的交互关系对合约的漏洞重新分类，随后依据工具的作用，将工具分为智能合约漏洞检测工具和智能合约漏洞修复工具并从语言支持、平台兼容以及工具性能三方面对工具进行了对比分析。最后，总结了目前数据交易中智能合约面临的问题并对未来的研究方向提出展望。

关键词： 区块链   电子投票   全同态加密   智能合约   签名算法  

摘要： 在数字化投票系统中，全同态加密与区块链技术的结合保障了电子投票的安全性和隐私性，但现有方案因全同态加密算法复杂的计算过程导致系统整体性能较差，尤其是在计票效率和公平性方面，因此提出一种基于全同态加密的区块链电子投票方案BCEVS-FHE。该方案通过优化BFV全同态加密算法中噪声因子的影响，降低加解密过程中的计算开销，从而提高计票效率。利用SM2数字签名算法对投票者生成的选票信息进行签名，确保投票者无法否认其投票行为，防止身份信息假冒与欺诈。同时，引入智能合约对加权计票的加权方式进行改进，确保投票者权重的不可伪造性和不可篡改性，保障投票过程的公平公正。最后，通过私有区块链方式将所有交易信息都存储到链上，确保整个投票过程不可篡改和可追溯性。实验结果表明，BCEVS-FHE在计票时间上较文献[18]提高了约17%，较文献[19]提高了约14.2%。同时，该方案不仅在隐私性、机密性、安全性、唯一性和可验证性等安全属性上得到了保障，还在公平性和可移动性等功能属性方面表现出色。综合来看，BCEVS-FHE满足电子投票协议的安全需求，还具有较高的实际应用潜力，对于数字化投票系统的广泛应用具有重要的研究价值。

关键词： 可信执行环境   智能合约   执行引擎   内置数据结构   沙箱环境  

摘要： 在数据智能服务应用过程中，由于用户复杂、网络环境复杂、部署环境复杂，面临网络保密等级不同、数据关联单位不信任、合约执行安全性难保障等业务数据协同挑战。为此，本文提出了一种智能合约执行引擎（High-security Virtual Machine， HVM）。HVM在保证智能合约执行的安全性、确定性、可终止性的前提下，支持多种符合Java编写规范的数据结构，提供灵活的应用模式和工具方法集，满足复杂多样的业务场景需求，为区块链开发者提供更加便捷、灵活、安全的区块链应用开发模式。同时，HVM构建了一个安全的虚拟机执行沙箱环境，隔绝了虚拟机执行逻辑和底层操作系统之间的交互，杜绝了智能合约代码逻辑受本地操作系统以及硬件环境的入侵，满足了大规模数据应用环境下对智能合约的安全应用需求。