基于形式化方法的区块链系统漏洞检测模型

随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性,本文提出了基于形式化理论的区块链系统漏洞检测模型VDMBS (Vulnerability Detection Model for Blockchain Systems),该模型综合了系统迁移状态、安全规约和节点间信任关系等多种安全因素,同时提供了基于业务流程执行语言BPEL (Business Process Execution Language)流程的漏洞模型构建方法.最后,本文用NuSMV在基于区块链的电子投票选举系统上验证了所提出的漏洞检测模型的有效性,实验结果表明,与现有的五种形式化测试工具相比,所提出的VDMBS模型能够检测出更多的区块链系统业务逻辑漏洞和智能合约漏洞.     

基于区块链的电子病历系统的实现与应用

就诊者的病历往往集中存储在就诊医院的电子病历系统中,而传统电子病历系统存在数据易篡改、海量数据存储难、不可共享以及隐私保护差等问题。为了解决这些问题,将区块链技术和Hadoop引入电子病历系统,构建去中心化的、可共享的电子病历系统。分析了电子病历系统中存在的问题。然后,利用区块链的技术特点,结合Hadoop的分布式文件系统（Hadoop Distributed File System,HDFS）以及电子病历系统的流程,构建基于区块链的电子病历系统。     

基于区块链的电子文件流转设计与实现

针对互联网生态下电子文件流转中文件没有统一登记、对文件去向没有跟踪、流转过程不规范等问题,提出了基于区块链的电子文件流转方案。首先,采用区块链中联盟链的多中心化体系,提出基于区块链的电子文件流转系统设计目标与设计架构。然后,借助云存储平台进行电子文件存放来实现文件的上传功能,通过将文件的所有权转换数据加盖时间戳,使流转过程连续、关联、可追溯且诚实可信,实现了基于区块链的电子文件流转系统。通过数据库调用完成数据存取,实现了基于区块链的电子文件流转系统的数据同步和追溯。最后,提出了电子文件所有权转换、查询的智能合约,这种合约通过读取文件标识来实现对文件内容的验证和保护。安全性分析和性能测试表明,该方案与现有的文件流转系统相比更具安全性,增强了流转信息的可信度,同时智能合约的执行时间较短,使得系统具有更好的可靠性和可溯源性。     

基于区块链的电子文件流转设计与实现

针对互联网生态下电子文件流转中文件没有统一登记、对文件去向没有跟踪、流转过程不规范等问题，提出了基于区块链的电子文件流转方案。首先，采用区块链中联盟链的多中心化体系，提出基于区块链的电子文件流转系统设计目标与设计架构。然后，借助云存储平台进行电子文件存放来实现文件的上传功能，通过将文件的所有权转换数据加盖时间戳，使流转过程连续、关联、可追溯且诚实可信，实现了基于区块链的电子文件流转系统。通过数据库调用完成数据存取，实现了基于区块链的电子文件流转系统的数据同步和追溯。最后，提出了电子文件所有权转换、查询的智能合约，这种合约通过读取文件标识来实现对文件内容的验证和保护。安全性分析和性能测试表明，该方案与现有的文件流转系统相比更具安全性，增强了流转信息的可信度，同时智能合约的执行时间较短，使得系统具有更好的可靠性和可溯源性。     

基于区块链的对账系统设计与实现

电子支付、电子商务、互联网广告、大数据交易等业务,都是由多个主体参与的持续性业务。对账系统是此类业务开展中的重要一环,它保证了各参与方数据一致。区块链技术集成了分布式公共账本及智能合约技术,且本身具有不可伪造、不可篡改的特性,可以满足对账系统的需求。本文讨论了基于区块链技术的对账系统,并给出了依托Bitcoin和Ethereum公链的具体实现。利用区块链特性,对账系统可以实现去中心化对账。相对于中心化对账,该方案不依赖某单一参与者,没有单点故障;对账结果通过区块链存储,结果可追溯、验真;数据根据授权分别存储于公链及私链,保证了数据隐私。     

基于区块链的电子证据系统架构模型

文中介绍了一种基于区块链技术的电子证据系统架构。区块链数据不可篡改的特性,保障了电子证据的真实性,从而推动了电子证据技术的快速发展与应用。架构中还描述了一种电子证据的批量打包方式,其可以降低区块链的存证成本,提高存证效率。     

基于区块链的众包系统研究综述

基于区块链的众包系统可以为用户提供不依赖集中式中央平台且安全可信的交易环境。文章系统地梳理了近五年来基于区块链的众包系统的研究工作。首先,介绍了众包的概念以及区块链技术的基本原理。其次,分析了传统基于集中式中央平台的众包系统存在的问题,并针对这些问题提出基于区块链技术的解决思路。再次,从架构设计、安全隐私、共识机制、数据存储四个方面分析了基于区块链的众包系统设计所面临的问题以及对应的解决方案。最后,展望了基于区块链的众包系统领域未来的研究方向。     

基于区块链技术的电子合同应用研究

随着互联网技术的日益发展,电子合同也逐渐取代了传统的纸质合同。新兴的电子合同具有高效快捷、成本低、合同管理简单方便等特点,有利于规范电子商务行为,维护市场秩序,促进电子商务领域的持续健康发展.电子合同的合理合法性,需要通过先进的科学技术,对电子合同的签署进行监督,电子合同的储存进行安全评估。本文通过对基于区块链技术的电子合同应用研究,结合了区块链技术的不可篡改性、公开透明性以及去中心化的特性,来实现基于区块链的电子合同。     

基于Ethereum的房地产供应链系统设计与实现

以太坊区块链技术是当今互联网时代的一项具有创新性、革命性的综合型分布式数据库账本技术,具有去中介化、自治性、数据不可篡改、可追溯、可编程等特点。分析了传统房地产供应链存在的不足,运用新兴的区块链技术,设计了基于以太坊智能合约的房地产供应链系统。给出了该系统的系统模型,包括系统流程和系统架构两部分。具体说明了系统所涉及到的四个功能模块。展示了系统的工作流程,并讨论了区块链+房地产供应链存在的问题。对区块链应用于房地产供应链领域进行总结,旨在为未来更好地将区块链应用于房地产供应链提供参考。     

基于区块链的可视化听诊与电子病历系统

传统听诊器受医生临床经验等主要因素影响严重且纸质化的病历难携带、易丢失,存在局限性,大大影响医疗质量.针对这种情况,本文设计了一个基于区块链的可视化听诊与电子病历系统.基于区块链的可视化听诊与电子病历系统可实现听诊可视化以及电子病历的书写和查看,采用区块链技术可以实现医疗病历的跨地区、跨平台查阅,同时加密技术也为患者电...