关键词： 智能合约   模糊测试   跨合约漏洞  

摘要： 随着区块链应用的快速发展和智能合约的广泛使用,由智能合约引发的安全事件急剧增多,导致基于区块链的数字资产产生了巨大损失。目前,虽然部分工具可以检测智能合约安全漏洞,但是它们主要针对单个智能合约进行检测,未考虑跨合约之间的交互依赖关系,因此会产生较多的误报。针对上述智能合约漏洞检测工具在跨合约场景下误报率较高和性能消耗过大的问题,文章提出一种基于函数依赖的跨合约模糊测试方案FIFuzz。该方案提出ContractRank算法进行合约间依赖关系建模,采用函数重要度来表征函数在合约间交互过程中的重要程度,并在后续模糊测试模块中加以利用。模糊测试通过基于函数重要度的交易序列生成策略和基于合约地址映射关系的地址类型数据生成策略来提高检测效率,缩减跨合约漏洞检测的搜索空间。另外,通过合约调用模拟来降低漏洞检测的假阳性率。与相关工具的对比实验表明,FIFuzz的漏洞检测时间相对其他工具缩短了80%,检测到的漏洞数量是其他工具的两倍,检测跨合约漏洞的准确率也明显高于其他工具。实验结果表明,FIFuzz能够有效提升跨合约漏洞的检测准确率,降低误报率,并减小时间开销。

关键词： 农产品供应链金融   区块链技术   交易信息   智能合约   责任和义务   作假行为   参与主体   执行力  

摘要： 区块链技术可以有效降低票据真实性风险。在区块链+农产品供应链金融的模式下,所有的交易信息会被分别记录到相关的主体账户中,任何交易信息都是公开透明的,不会因为作假行为而发生。区块链技术有助于提高农产品供应链内企业的互信水平。在区块链+农产品供应链金融的模式下,各家企业可以利用智能合约来提高信用约定的执行力,只要有一方履行了合同上载明的责任和义务,系统会自动强制另一方履行合约,从而避免信用欺诈的发生。区块链有助于提高农产品供应链金融的运行效率。通过营造丰富的区块链应用场景,农产品供应链内各个参与主体将能获得真实有效的经济活动数据,实现在农产品供应链内部完成资金的交易和业务的交割,从而提高交易的精度和效率。

关键词： 区块链   应急物资调度   智能合约  

摘要： 突发性自然灾害事件的频发暴露出我国应急物资调度体系存在信息不对称、供需不匹配、权力寻租等问题。为优化应急物资管理体系,规范参与主体的操作行为,将区块链技术应用其中,在阐述区块链技术对应急物资调度应用优势的基础上,构建一套结合智能合约、共识机制等隐私技术的应急物资保障系统,分析系统数据层、网络层、共识层、合约层和交互层的功能要素,探究应急物资调度过程中仓储、供需、配送、监管4个系统模块的运作模式,提升应急物资调度效率,打造公开、透明的应急物资保障体系。

关键词： 车联网   区块链   智能合约   隐私保护  

摘要： 车联网的快速发展带来了诸多安全挑战,亟需一种安全可信的网络架构。针对车联网面临的身份认证、数据保护、隐私保护等安全威胁,提出了一种基于区块链的多层级车联网安全防护体系。该体系采用区块链技术构建安全可信的网络环境,利用智能合约实现车辆权限管理,并通过同态加密、环签名等密码学机制保护车辆隐私。系统仿真实验表明,所提安全方案能有效抵御多种安全攻击、保障车联网的可靠运行,为车联网安全领域提供了新的思路和方法。

关键词： 边缘缓存   区块链   智能合约   协作缓存   深度强化学习  

摘要： 针对不同运营商各自部署边缘设备,投入巨大且缓存内容相互隔离,无法共享的问题,改进了一种基于联盟链的边缘缓存系统架构,使运营商部署的边缘设备间能够打破内容隔离,实现更大范围的共享。为了提高运营商缓存收益,同时保证用户传输质量,降低用户传输时延,首先针对缓存内容流行度、内容大小以及边缘设备的协作能力,分析不同内容交付方式对于用户传输时延和运营商缓存收益的影响;然后,以最大化缓存收益和最小化传输时延为目标建立优化问题;最后,为解决构建的高维度大规模的缓存决策问题,采用基于异步优势动作评价的内容缓存算法确定内容的最佳放置位置。仿真结果表明,所提缓存策略能够有效地提高边缘缓存收益,降低内容传输时延,提升用户体验。

关键词： 区块链技术   医疗信息交互   智能合约  

摘要： 随着区块链技术的逐步普及和应用,其在医疗健康领域的潜力也逐渐显现。论文围绕区块链技术在医疗信息交互中的应用进行研究,构建了一套基于区块链的医院信息交互平台。通过设计去中心化、分布式的系统架构,强化数据的安全性和可靠性,能够实现医疗信息的高效、安全、合规的交互。研究使用智能合约技术,提供了一种可验证、不可篡改、权限有序的医疗信息交互方式,并通过实验对平台的性能进行测试,证明在并发量相对较小的情况下,系统具有较好的稳定性和实用性。此外,对于医疗数据的隐私保护,研究也做了深入探讨,利用区块链的特性,提出了一种新型的数据加密传输模式,旨在更好的保护用户隐私。

关键词： 区块链技术   智慧水务   智能合约   水质检测  

摘要： 阐述针对智慧水务中的数据不互通、数据可信度低、监管压力大的问题,分析区块链技术的特征,探讨供水管理、水资源交易、水务检测、设备维护的智慧应用。

关键词： 区块链   票务   智能合约   加密  

摘要： 传统票务系统中存在票务管理中心化的问题,现有制度缺乏对市场的有效监管,导致出现了票务欺诈和不公平购票等问题。尽管部分地区已开始实施实名购票,但用户隐私无法得到充分保障,仍有损害消费者利益的情况发生。针对这一问题,文章提出了一种新型票务系统,利用区块链技术实现对隐私的加密保护,并通过智能合约消除票务中心化,以促进购票公平性并实现票务销售的有效监管。

关键词： 数字货币   电力行业   支付与结算   市场透明度   智能合约  

摘要： 文章通过详细分析数字货币的定义及特性、电力行业的基本概述以及两者的融合基础,揭示了数字货币如何优化支付与结算流程、促进电力贸易市场的透明度、应用智能合约与数字化管理电力资产。进一步探讨了技术创新如何推动行业进步,数字货币与可再生能源交易的结合潜力,以及政策法规环境的必要适应与调整。通过这些分析,文章呈现了一个关于电力行业数字化转型的全面视角,强调了其面临的挑战与机遇。

关键词： 数据完整性   区块链   智能合约   云数据审计   投票机制  

摘要： 确保云数据的完整性是亟待解决的安全挑战,受到广泛应用的区块链技术为应对该安全挑战提供了良好的解决方案。当前结合区块链和智能合约技术,并由矿工参与审计验证工作的方案存在审计效率低、通信开销大和数据拥有者(DO)审计负担重等不足。针对上述问题,提出一种基于投票和以太坊智能合约的云数据审计方案(CASVEC)。首先,结合投票机制和智能合约技术在以太坊上设计并部署了去中心化自治组织(DAO),DAO中节点投票选举出一个审计节点代替矿工的审计验证工作,从而有效解决验证审计证明阶段效率低的问题,并且投票机制引入信誉值保证投票公平可靠。其次,仅使用少量链上资源存储审计结果以降低通信过程中的数据量,从而有效解决验证审计证明阶段通信开销大的问题。此外,DO仅需向DAO委托一次审计请求以及查询最终的审计结果,无需频繁调用智能合约交换审计相关信息,减轻了审计负担。最后,从理论和实验角度验证了与当前基于区块链的云审计方案相比,CASVEC能够显著降低验证审计证明阶段的时间开销和通信开销,以及审计阶段DO的时间开销。