关键词： 新型电力系统   电-碳-绿证跨市场协同运行   区块链   智能合约   共识机制  

摘要： 新型电力系统电-碳-绿证市场面临交易标的物不一致、交易核算不统一、交易信息不共享等问题,采用区块链技术能很好地解决上述问题。基于区块链技术研究电-碳-绿证市场协同运行技术。首先,对“电-证-碳”市场协同关系进行深度剖析;其次,利用区块链构建统一的积分认证机制,以衔接电-碳-绿证市场之间的交易标的物,结合区块链智能合约、共识机制构建电-碳-绿证溯源模型,确保交易的透明性及各参与方间数据一致性;最后,通过实验对电-碳-绿证溯源性及区块链的共识性能等进行验证,结果证明了市场体系的有效性。

关键词： 区块链技术   供应链追溯   实用拜占庭容错(PBFT)共识算法   智能合约  

摘要： 针对机械制造供应链中存在的信息孤岛、数据可信度低等问题,本文提出一种基于区块链技术的供应链追溯系统解决方案。通过分析系统需求,设计了一种包含基础设施层、区块链层、应用服务层和用户界面层的分层架构,采用改进的共识算法实用拜占庭容错(PBFT)共识算法确保数据一致性,利用智能合约实现业务规则的自动化执行。系统实现了生产制造、质量检验、物流运输全过程的数据采集与追溯,并通过仿真验证表明:所设计系统在千级并发场景下性能稳定,功能模块测试通过率超过99%,安全防护机制运行可靠,可为机械制造供应链管理提供有效支撑。

关键词： 区块链安全   智能合约   符号执行   漏洞检测   以太坊  

摘要： 智能合约一经部署就无法更改的特点导致合约上链前需要严格的代码审查机制。针对现有检测工具对复杂路径检测低效,循环处理粗糙的缺点,提出一种以目标为导向的符号执行路径搜索策略。以静态分析插桩结果引导路径搜索引擎快速到达危险指令位置添加检测模块,同时对程序中的循环结构进行前向迭代查询,抽取循环子集和变量以在边界处依据指令类型进行检测。实验在以太坊网络上选取114份包含溢出漏洞和重入危险的合约检测,实验结果表明有14.28%的正确率提升和1.61倍的时间效率提升。

关键词： 区块链技术   电子文档   防篡改   数据安全   智能合约  

摘要： 区块链技术凭借其去中心化、不可篡改和透明的特性,为电子文档防篡改提供了创新方案。通过分布式账本实时记录和验证电子文档的存取、修改,确保真实性和完整性。结合智能合约和加密技术,区块链进一步增强了文档的安全性和数据保护。金融、医疗和政府等领域已应用区块链管理敏感文档,有效防止数据篡改和泄露。尽管面临标准化、技术兼容性和性能瓶颈等挑战,但区块链在电子文档管理中的应用前景广阔,为数字化转型提供了安全可靠的技术保障。

关键词： 区块链技术   实物地质资料   安全保护   智能合约   分布式存储  

摘要： 文章对基于区块链的实物地质资料档案安全保护机制进行了研究。为解决实物地质资料档案受到物理损坏、数据篡改和泄露的安全威胁问题,考虑区块链去中心化、不可篡改和可追溯的特点,设计出一套安全保护方案。该方案由建设分布式存储网络,数据上链机制,权限管理和加密存储体系等部分组成,并通过智能合约进行自动化访问控制。实验证明,所提方案有效地增强了数据的完整性和安全性,较好地解决了传统中心化管理模式中单点故障和信任问题。研究对地质资料档案安全存储和共享提供了一种新的思路,有较大的应用价值。

关键词： 智能合约   符号执行   目标制导测试   安全漏洞检测   安全漏洞复现  

摘要： 智能合约是运行在区块链上的计算机程序,在扩展区块链功能、实现复杂应用的同时,其潜在的安全漏洞也带来巨大风险.基于符号执行的安全漏洞检测方法具有精确度高、可生成能复现漏洞的测试用例等优势.然而,随着代码规模的增大,符号执行技术容易受到路径爆炸、约束求解开销过大等问题的影响.为此,提出一种基于目标制导符号执行的智能合约安全漏洞检测方法,首先将静态分析工具或人工标注的漏洞语句作为目标,分析目标依赖语句,补充事务序列以添加相关变量的符号约束.然后,基于智能合约字节码构建控制流图,定位目标语句以及目标依赖语句所在的基本块,剪枝控制流图以生成制导信息.最后,根据制导信息优化符号执行的路径探索策略,减少需要分析的基本块数量以及求解路径条件的时间,最终高效地检测目标语句是否存在安全漏洞,并输出可复现漏洞的测试用例.基于上述思路实现Smart-Target原型工具,在SB Curated数据集上与符号执行工具Mythril进行对比.实验结果表明Smart-Target在安全漏洞检测和漏洞复现场景分别减少60.76%和92.16%的时间开销,大幅提高符号执行效率.此外, Smart-Target通过分析目标依赖语句使其多检测到22.02%的安全漏洞,有效提升了漏洞检测能力.

关键词： 车载自组织网络   区块链   隐私保护   信誉机制  

摘要： 为解决车载自组织网络(VANET)中数据共享所面临的隐私与安全问题，提出一种基于信誉管理的隐私保护方案。该方案结合分布式存储IPFS与智能合约，实现数据的可追溯与不可篡改。通过引入信誉机制和同态加密保护反馈评分，动态更新用户信誉值，有效防范恶意行为带来的隐私泄露风险。基于轻量级的数据处理机制，该方案特别适用于资源受限的VANET环境。实验结果表明，该方案在具备同等隐私保护能力的前提下，其计算和通信资源消耗方面优于现有方法。

关键词： 可编辑区块链   编辑请求控制   智能合约   陷门管理  

摘要： 现有的许多区块链应用研究方案都强调了区块的可编辑性以应对可能出现的错误问题，一个安全有效的可编辑区块链方案需要在保证链上数据可编辑的同时还要对其编辑权限进行严格控制。针对这些问题，首先设计了一种编辑请求控制策略，利用智能合约记录所有节点与区块的编辑状态来对相关编辑请求进行控制以应对区块编辑中存在的过度编辑问题；其次设计了一种应对大规模区块链的代表节点机制，代表节点的选取采用基于编辑行为的信誉度评估策略，解决了去中心化陷门管理下的陷门恢复效率问题；最后设立了一个可信的变色龙随机数生成机构来对代表节点的编辑内容进行严格限制以实现对编辑权限的细粒度控制。方案对比和实验结果表明，该方案在保证系统安全和高效的前提下实现了去中心化陷门管理和区块编辑，并且在复杂编辑环境中具有更高的稳定性和可控性。

关键词： 医疗区块链   星际文件系统   加密存储   密钥协商   智能合约  

摘要： 针对医疗数据全文加密存储云端导致的数据利用不方便和效率低等问题，提出基于区块链和星际文件系统(IPFS)的医疗数据加密存储方法。该方法对医疗数据中的隐私信息进行脱敏，提出一种抗用户密钥泄露的密钥协商协议，以防止医院冒充用户在非授权访问情况下存取该用户存储在另一医院的医疗数据；还提出一种带有轻节点的医疗区块链IPFS数据存储模型，以优化医疗数据存储和访问效率。将医疗数据的隐私信息和存储的已脱敏医疗数据的IPFS地址共同加密以生成关系信息，在IPFS中存储已脱敏的医疗数据和它们的关系信息；上链这些关系信息的索引并设计智能合约管理这些索引。实验结果表明，所提方法安全有效，能降低医疗数据加密过程中的算力消耗；脱敏医疗数据不加密，更方便在医疗机构间共享。

关键词： 数字化建造技术   房屋建设   成本效益   建筑信息模型   智能合约  

摘要： 随着数字化技术的迅速发展和应用,房屋建设行业正经历着前所未有的变革。本研究旨在评估数字化建造技术在房屋建设过程中的有效性。通过采用定量与定性相结合的研究方法,概述当前房屋建设领域中数字化技术的应用现状,包括建筑信息模型(BIM)、3D打印、无人机航拍和智能合约等技术;通过案例研究和专家访谈收集数据,对比分析应用数字化技术前后的房屋建设项目在成本、时间、质量以及安全管理等方面的变化。结果表明,数字化建造技术能有效降低建设成本、缩短项目周期、提高建筑质量和安全水平。根据结果探讨数字化技术推广应用面临的挑战及对策,为行业内的进一步发展提供策略建议。综上,数字化技术在房屋建设过程中展现出显著的有效性,对于推动建筑行业的数字化转型具有重要意义。