关键词： 智能合约   访问控制   车联网  

摘要： 当下车联网访问控制通常是使用传统访问控制模型实现安全的道路行驶和高效的交通管理,针对传统车联网访问控制存在无法动态授权车辆权限、对资源无法细粒度授权,且难以对通信双方历史交流通信进行回溯等问题,提出基于角色的访问控制(RBAC)与基于属性的访问控制(ABAC)相结合的混合访问控制模型BARV-BAC。首先,制定角色-属性规则、属性授权规则和访问控制策略。其次,设计角色-属性智能合约(Role publisher-SC)和资源智能合约(RE-SC),以实现车联网动态化和细粒度管理。此外,使用数字签名验证用户对该角色的所有权,同时验证模型的可靠性。实验结果表明,在所仿真的道路环境下,模型的平均延迟小于200 ms,与传统访问控制模型相比有较大提升,与其他访问控制模型相比智能合约开销减少明显,进一步验证了BARV-BAC在车联网访问控制上具有高效性、实用性和安全性。

关键词： 区块链   可搜索加密   智能合约   数据共享  

摘要： 针对高校数据安全共享问题,文章提出了一个基于区块链的高校数据共享方案。首先,利用可搜索加密和代理重加密技术,实现密文检索及密文更新功能;其次,使用区块链存储关键词密文、关键词索引和智能合约,并运用云服务器存储数据密文,确保检索结果的抗篡改性、数据的完整性和交易可追溯性,减缓区块链的存储压力;最后,利用智能合约的优势,有效保障数据用户与云存储之间的公平交易。结果表明,该方案满足适应性选择关键词攻击下的密文不可区分性和关键词不可区分性,同时,利用智能合约的优势,有效保障了数据用户与云存储之间的公平交易。

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

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

关键词： 区块链   智能合约   文物竞拍系统   用户隐私   文物版权信息   Paillier半同态加密算法  

摘要： 为解决当前区块链文物竞拍交易系统在交易过程中存在的用户隐私保护、文物版权信息保护和交易可信性问题,结合智能合约和改进后的Paillier半同态加密算法(PHE)对竞拍交易系统进行设计和优化.针对用户隐私保护,使用能够处理浮点数类型的PHE算法对交易数据进行加密,有效保障交易信息的安全性.在文物交易可信性和版权信息安全性方面,分别利用智能合约的自动执行功能和区块链不可篡改的特性,有效提升了文物交易过程的可信度和透明度,同时充分保障了文物版权信息的安全.通过对现有的文物竞拍系统及改进后的PHE算法性能的实证分析,验证了优化设计方案的有效性和可行性.

关键词： 数字人民币   营运资本   智能合约  

摘要： 数字人民币在企业中应用面广,对营运资本管理影响深远。从其技术特征出发,结合企业营运资本管理的目标与难点,分析其影响企业营运资本管理的路径。研究发现,数字人民币通过智能合约提升交易透明度与效率,降低信息不对称,助力企业筹资。其支付即结算、与银行账户松耦合等技术特征,可简化资本流转,缩短周转期,提升周转效率。同时,文章也指出了数字人民币在实际应用中遇到的各种挑战,为其进一步推广和应用提供理论支持。

关键词： 区块链技术   物流溯源   分布式账本   智能合约   数据安全  

摘要： 随着全球化进程加速和电子商务快速发展,物流行业的溯源需求呈现出爆发式增长。传统的中心化物流溯源系统在数据安全性、信息透明度和运营效率等方面面临严峻挑战,难以满足现代供应链的复杂需求。文章深入分析了区块链技术在物流溯源领域的应用潜力,提出了基于分布式账本和智能合约的系统架构设计方案,通过整合去中心化存储、共识机制和加密算法等核心技术,以期实现物流信息的全程可追溯、不可篡改和智能化管理,为提升供应链的透明度和运营效率提供有效方案。

关键词： 智能合约   漏洞检测   漏洞定位   预训练技术   可解释性  

摘要： 针对智能合约检测任务中全局信息利用不充分，不能对产生漏洞的代码语句进行精准定位的问题，本文提出一种基于预训练技术的多级别智能合约漏洞检测和定位方法。在检测阶段通过提取两个级别的智能合约的数据流图，之后将保留所有代码信息的完整数据流图作为SGFormer的输入进行特征提取，将漏洞信息相关的关键数据流图输入到GraphCodeBert中获得关键数据流特征。将提取到的完整数据流特征向量和关键数据流特征向量输入到门控网络里进行特征融合得到最终的特征向量，最后输入到softmax函数进行漏洞检测。在定位阶段，将检测到的漏洞信息和测试数据输入到PGExplainer中，通过参数化建模全局边分布，直接生成关键解释子图，实现高效精准的漏洞定位。实验表明，本文提出的多级别智能合约漏洞检测与定位方法在检测和定位上均有所提升，并且展示了使用两个级别的解释模型可以保留全局效率的同时提升局部的解释精度。

关键词： 区块链   智能合约   跨链   去中心化身份   企业联盟  

摘要： 区块链技术的去中心化、可追溯性和防篡改等特性为解决供应链中的信息安全可信等问题提供了有效的解决思路。然而，当前供应链与区块链融合的研究较少，缺乏跨链交易机制设计。针对供应链中企业联盟间跨链数据共享与交易的互信问题，提出一种基于中继链的跨链身份认证和智能合约交易方法，通过去中心化方式实现制造领域实体的数字身份认证。设计了面向供应链链上链下协同交易的中继跨链模型架构，给出一种复杂多链场景下供需企业交易的智能合约机制，提升数据共享可信度和交易安全性。在此基础上，基于Hyperledger Fabric联盟链开发了供应链跨链交易原型系统，并结合一个典型供需场景验证了其可行性和有效性。场景中所提出的智能交易合约算法具有较好的吞吐量和时延表现，实验证明该方法能够有效实现供应链中企业联盟的数字身份认证及跨链资源交易。

关键词： 石油工程   经济管理   区块链赋能   成本控制   智能合约  

摘要： 多维协同视域强调从多个维度(如时间维度、空间维度、参与方维度等)对石油建设工程进行综合管理。石油建设工程经济管理是石油行业中至关重要的一环,尤其是在当前全球经济环境下,有效控制成本对于项目的成功和企业的可持续发展具有决定性意义。成本控制是石油建设工程管理的核心,它涉及到项目预算的编制、执行和调整,旨在确保项目的经济效益。有效的成本控制可以减少浪费,提高投资回报,保障企业的市场竞争力,特别是在当前低油价和环保法规日益严格的压力下,创新成本控制策略变得至关重要。本文关注石油建设工程中的成本控制创新策略,旨在提供一种新的视角,以应对行业变革带来的挑战。石油工程因其特有的复杂性,如高风险环境、技术难度大、资金投入巨大等,使得成本控制成为一项艰巨的任务。

关键词： 联盟链   智能合约   可信验证   主动度量  

摘要： 针对联盟链系统中恶意攻击者利用智能合约中的安全漏洞带来的行为不可信问题,提出一种面向联盟链的智能合约行为可信验证机制对合约行为完整性进行可信验证.首先以系统调用作为最小行为单元,以基于系统调用的行为序列描述历史行为状态,然后在确保合约代码发布和执行环境可信的前提下,在合约运行时根据预期行为规则进行可信验证,最后对该机制进行了理论分析,并在Hyperledger Fabric环境下进行实验评估.结果表明,该方法能够有效实现对智能合约行为的可信验证,能够保障智能合约生命周期内的行为可信.