关键词： 智能合约   图注意力网络   合约图   抽象语法树   数据依赖关系   控制依赖关系  

摘要： 随着智能合约被广泛使用,其处理的业务逻辑更加复杂,代码复杂度越来越高,引发了大量安全漏洞.为避免潜在安全漏洞造成的危害,研究人员提出了一系列智能合约漏洞检测方法.但现有方法对合约特征表征不完整,未将合约的语义及结构特征进行统一表征,难以准确、全面地检测和识别智能合约中的潜在漏洞和安全风险.为此,本文提出了基于图注意力网络的智能合约漏洞检测方法SCG-Detector(Smart Contract Graph Detector).首先,通过解析合约源代码构建抽象语法树(Abstract Syntax Tree,AST)以表征合约语法结构信息,并在AST上添加表示语义信息的数据依赖关系和控制依赖关系,以构建合约图(Smart Contract Graph,SCG)同时表征合约的语法结构及语义信息;然后,将SCG输入到图注意网络模型中进行训练,利用注意力机制学习合约中漏洞的特征;最后,利用训练好的图注意力网络模型检测合约中是否存在漏洞及所存在漏洞的类型.SCG-Detector在12616个智能合约上进行的实验结果表明,相比于sFuzz、Conkas、ConFuzzius、Mythril、Osiris、Slither、Oyente、MANDO-GURU等8种广泛使用的方法,SCG-Detector的Precision最高提升了26.46%,Recall最高提升了69.64%,F1最高提升了59.57%.

关键词： 配电网   数据安全   智能合约   区块链  

摘要： 文章概述了配电网数据特点、数据安全威胁、安全目标和要求,探讨了基于区块链的配电网数据安全架构设计,分析了该架构关键安全技术的实现,并对基于区块链的配电网数据安全技术及系统性能进行了实验验证,以期提高配电网数据的安全性和可靠性。

关键词： 区块链技术   电费催收   智能合约   数据安全  

摘要： 文章研究了区块链技术在电费催收中的应用,并设计了一套基于区块链的电费催收系统,旨在提升信息透明度和数据安全性,并实现信息透明共享、数据不可篡改和智能合约自动化催收,减少人工干预,提高催收效率和合规性。

关键词： 无证书可搜索加密   匿名性   多用户   智能合约   关键词猜测攻击  

摘要： 为了更好地实现数据安全检索,提出一种基于智能合约的多用户匿名无证书可搜索加密方案。该方案利用智能合约执行关键词密文与搜索陷门的匹配任务,向用户发送正确的密文。同时,使用广播加密技术传递对称密钥,确保用户对搜索得到的密文进行相应的解密,并利用密钥生成中心对用户的身份进行匿名性保护。安全性分析结果表明,关键词密文和陷门均具有不可区分性,且所提方案在关键词猜测攻击下是安全的。性能分析结果表明,与其他方案相比较,该方案的计算量和通信代价更小、效率更高。

关键词： 车网互动(V2G)   电动汽车(EV)   智能合约   同态加密   联邦学习   模型参数聚合  

摘要： 车网互动(vehicle to grid,V2G)技术利用调度模型生成的决策调度电动汽车(electric vehicle,EV)有序参与电网管理,可实现高效削峰填谷,采用联邦学习方式可以在充电站不愿共享原始数据的条件下完成调度模型训练,因此选定符合多方利益的训练标签和保证模型参数聚合结果的正确性对于V2G调度决策至关重要。为此,提出一种面向V2G调度的可信联邦学习方法。首先,构建V2G实时调度模型可信联邦学习架构,其包括标签生成模块、可验证联邦学习模块和实时调度模块3个部分;然后,综合考虑EV用户、运营商及电网侧负荷波动,提出一个计及电网多方主体利益的实时调度标签数据生成模型,并设计调度模型标签的动态更新方法;其次,提出模型参数聚合的安全存证与验证方法,确保联邦学习模型参数聚合的正确性;最后,对3种充电时段类型EV占主导生成的标签数据和所提出验证方法的时间开销、存储开销和Gas开销进行分析。算例结果表明,所提出的标签模型展示了EV用户、运营商以及电网侧负荷波动的最优值特征,构建聚合树的时间开销达到毫秒级,相比于传统验证方式,聚合验证智能合约的Gas开销显著降低。因此,所提出的可信联邦学习方法与电网中多方主体利益一致,并具有较好的性能。

关键词： 区块链技术   食品安全管理   应用研究   数据溯源   智能合约   信息化建设  

摘要： 食品安全是社会大众关注的重要议题,传统管理手段在食品溯源、信息透明度及监管效率方面存在显著不足。区块链技术凭借其去中心化、不可篡改和高度透明的特性,为解决食品安全问题提供了新途径。本文探讨了区块链技术在食品安全管理中的应用潜力与挑战。文章分析了当前食品安全管理的困境,强调引入新技术的重要性。介绍了区块链技术的核心特性及其在实现食品全过程溯源、加速资金流、实时监测与查询等方面的应用。此外,讨论了应用中面临的问题,包括数据真实性难以保证、隐私泄漏风险和高成本,并提出了促进信息化建设、构建公信力平台及加大研发投入等对策。研究表明,区块链技术有助于完善食品溯源系统,提升供应链信任水平,增强监管效能,保障公众饮食安全。未来,随着技术的不断发展和完善,区块链技术在食品安全领域的应用将更加广泛,为推动食品产业的升级和变革提供有力支持。

关键词： 完整性验证   云存储   区块链   智能合约   哈希路径生成  

摘要： 为解决云存储中可能存在的数据损坏、数据丢失等安全性问题,本文通过借鉴并改进目前云数据完整性验证的相关方案,弥补了传统方案中的不足,提出了面向云存储的双重数据完整性验证方案对共享数据位置和内容进行完整性验证.方案基于Merkle树设计了一种新的存储结构来实现哈希路径的快速生成,以减少位置完整性验证的时间开销;同时借助区块链来存储完整性验证数据和验证结果,并使用智能合约来代替第三方审计者执行完整性验证任务,保证完整性验证的自动化执行,增加完整性验证方案的可信度.安全性分析和实验分析表明该方案不仅能够保证共享数据的安全性,还可以高效地完成对共享数据的批量完整性验证.

关键词： 财会监督   防伪溯源功能   智能合约   科研经费  

摘要： 文章以高校科研经费管理为突破口,以区块链防伪溯源功能和智能合约机制为技术支持,打造了与高校科研经费需求相符的智慧化财会监督体系。在明确体系内容的基础上,依托于案例高校科研项目经费财会监督工作展开深入研究,通过数字化赋能从“事后人防”转变为“事前数字技防”,推动科研项目相关数据的集中共享,减少信息不对称,实现高校科研经费使用和管理的全过程、全方位监督与实时预警,有效提高科研经费透明度,确保经费使用合理合规。

关键词： 央行数字货币   普惠金融   智能合约   隐私保护  

摘要： 央行数字货币作为金融科技领域的重要创新,与数字普惠金融具有显著的逻辑一致性,具有重要的普惠价值。本文基于G20普惠金融指标体系框架,从央行数字货币技术特征切入,尝试分析零售型和批发型央行数字货币对现金支付、移动支付以及跨境支付等领域的边际改进,并据此深入探讨央行数字货币技术特征与普惠金融体系相结合的“技术-经济”逻辑路径。结果发现,央行数字货币能够从金融服务可得性与使用情况、金融服务质量两个维度赋能普惠金融发展。一方面,基于“普”的视角,央行数字货币能够拓展数字化支付边界,提高数字化支付接受程度;另一方面,基于“惠”的视角,央行数字货币能够优化支付和借贷便利性,提升支付服务智能化水平,并促进跨境支付降本增效。本文为在新发展阶段稳妥推进数字人民币研发和应用,并据此充分发挥其普惠价值、推动普惠金融发展提供了新的分析框架和经验证据。

关键词： 车联网   紧急消息   机器学习   智能合约   信任评估  

摘要： 车联网是智能交通系统的重要组成部分,能够通过传播车辆消息提高交通安全和效率,近年来得到政府、工业和学术界的广泛研究。然而,在车联网中,恶意车辆广播的虚假紧急消息将对车联网正常运行和交通安全造成极大的威胁。为解决现有车联网信任管理方案在高恶意车辆占比下消息信任评估准确性低的问题,提出一种车联网中机器学习辅助的紧急消息信任评估方案。提出的方案对现有方案的消息信任评估算法进行优化,在评估过程中引入随机森林模型以辅助路侧单元对车联网中紧急消息进行分析,并输出消息为真实消息的预测概率;接着,基于随机森林模型输出的预测概率设计可切换缓存机制,并结合智能合约设计信任值查询算法,以平衡现有方案中路侧单元在查询效率和存储空间开销之间的冲突;同时,将预测概率作为参考因子引入消息信任评估算法,以得到更高的消息评估准确率;最后,基于所提方案,与现有方案进行对比。实验结果表明,所提方案的消息信任评估准确率提升约6.2%~21.9%,且在多种恶意车辆占比下表现出较好的鲁棒性。