Web 3.0背景下可信区块链技术赋能智慧农业的研究

目前,农产品溯源数据管理中存在维护成本高、数据安全性低等不足,给消费者和生产者带来了很大的风险。基于此,探讨可信区块链技术在智慧农业溯源中的应用,具有一定的实际应用意义。     

基于智能合约构建可信物联网安全模型

物联网系统错综复杂,数据会在整个传输过程中经过不同的载体,其存在的隐私安全和漏洞问题也随着暴露出来.为解决传统防护技术的不足,保证物联网信息安全,本文旨在研究基于区块链技术的物联网信息安全技术,利用区块链技术在物联网网关之间建立安全的通信通道,通过在物联网网关中设置检查点来管理智能合约,与传输的所有数据链及其支链构建M...     

智能合约安全与实施规范研究

自区块链2.0时代以来,以智能合约为代表的第二代区块链平台及应用呈爆发式增长,但随之而来的智能合约安全事件也频繁发生。区块链3.0时代,智能合约因其固有的去信任化、自动性、防篡改、可追溯等技术特性,必将被广泛应用。但是,在此前景之下,智能合约的安全性成为了区块链生态安全的基石。文章创新地提出了智能合约3.0—智慧合约的概念,并基于智能合约基础架构研究了智能合约安全威胁,提出了一套基本的智能合约安全实施规范,旨在为智能合约安全实施提供参考与借鉴。     

基于Web3.0的智能网络应用开发

现代远程教育平台为用户提供便利、快捷的网络学习环境,然而随着科学技术的发展和用户对其日益增长的需求,传统的现代远程教育平台已不能满足要求;鉴于此,提出了基于WEB3.0的智能教育服务平台,设计了服务平台总体框架和主要功能。该平台在测试使用中表明,其关键功能已成功实现,用户可以使用多种终端设备访问平台,登录平台的各类用户均可获得全面的智能化教与学服务,同时该平台框架的各个组成部分模块化并松耦合,易于实现平台的后期维护和功能扩展。     

Web3.0网站应用开发

文章首先阐述了Web3.0的发展趋势,然后通过分析国内Web3.0网站,描述了Web3.0技术特性,最后提出了用户在Web3.0网站的搭建个人网站的方法。     

智能合约的合约安全和隐私安全研究综述

区块链作为对等网络中的一种分布式账本技术,集成了密码学、共识机制、智能合约等多种技术,提供一种新型信任体系构建方法.智能合约具有公开透明、实时更新、准确执行等显著特点,在区块链中为信息存储、交易执行和资产管理等功能的实现提供了更安全、高效、可信的方式.但是,智能合约本身仍然存在安全问题,影响了区块链技术的进一步推广使用.所以,近年来围绕智能合约安全问题的相关研究比较多,为了帮助相关人员更好地理解和掌握其中的研究思路,本文采用Mapping Study方法,通过收集2015年以来公开发表的关于智能合约安全问题的各类文献,并进一步通过文献筛查、问题设置、信息提取、结果获取和分析等步骤,总结智能合约安全相关研究的现状和未来发展趋势如下:(1)目前智能合约自身面临的安全问题和挑战主要体现在合约安全和隐私安全两方面(问题和挑战).在调查的45篇文献中,有29篇文献针对合约安全,16篇文献针对隐私安全;(2)智能合约安全保障目前采用的方法主要包括形式化验证、模糊测试、零知识证明、可信执行环境等(保障方法);(3)针对合约安全的研究目前主要集中在合约实现、测试阶段,而针对智能合约设计、部署及运维阶段的研究比较少;针对隐私安全的研究主要集中在合约数据隐私保护,而针对合约代码隐私安全的比较少(覆盖范围);(4)智能合约安全保障研究目前主要从合约实现人员、合约测试人员的角度进行,而从合约维护人员和合约用户角度展开的研究较少(研究角度);(5)未来研究应该围绕智能合约的全生命周期的每个阶段安全问题进一步推进,先验方法和后验方法、定性方法和定量方法、静态方法和动态方法的结合是大势所趋(发展趋势).综上,本文通过调研发现了现有研究的不足,并建议了进一步的研究方向.     

基于区块链的慈善募捐信息溯源存储模型研究

慈善事业是社会治理的重要组成部分,但是由于慈善记录储存在一个集中的数据库中,信息容易被篡改,再加上监管力度也不够,导致公众对慈善事业信任度的下降。为了解决这个问题,引入区块链技术概念,结合对传统慈善募捐平台运行的模式剖析和善款物资溯源适配性的研究,设计了一套基于区块链技术的募捐信息溯源存储模型,为提高慈善事业现代化治理提供一套区块链解决方案。     

Web3.0时代移动互联网商务评价信息聚合

随着移动智能终端的普及与发展,越来越多的人开始使用移动智能终端上网浏览商品信息并进行购物、支付。基于这个背景,本文阐述了Web3.0时代,移动互联网的商务评价信息聚合问题,以及如何采用Mash up技术进行系统的规划与构建。     

智能合约安全问题与研究现状

智能合约是运行在区块链上的程序,具有去中心化、不可篡改的特性,被广泛应用于金融、能源、物联网等多个领域.然而智能合约一旦实际部署到实时网络上就不能对其更改,在保证合约安全的同时,缺陷和错误也不能通过修改合约代码得以解决,从而导致重大的安全事故.因此合约实际部署前对其进行安全测试已经成为迫切需要解决的问题.介绍了因智能合...     

区块链安全分析与应对

伴随着区块链技术的快速发展和应用,导致区块链项目相关的诸多网络安全事件。由此,区块链技术的安全分析尤为重要。本文始于对区块链技术本身的剖析,进而研究其各个层面的安全隐患。同时结合对区块链相关的安全事件的分析,给出相应的应对策略。本文会从应用端、共识机制、智能合约、基础公钥机制等诸多层面进行分析。希望能给出区块链安全相关的宏观全貌。     

智能合约:架构及进展

智能合约是一种无需中介、自我验证、自动执行合约条款的计算机交易协议,近年来随着区块链技术的日益普及而备受关注.区块链上的智能合约具有去中心化、去信任、可编程、不可篡改等特性,可灵活嵌入各种数据和资产,帮助实现安全高效的信息交换、价值转移和资产管理,最终有望深入变革传统商业模式和社会生产关系,为构建可编程资产、系统和社会奠定基础.本文致力于以区块链智能合约为研究对象,对已有的研究成果进行全面梳理和系统概述,提出了智能合约的基础架构模型并以此为研究框架阐述了智能合约的运行机制与基础架构,总结了智能合约的研究挑战与进展,介绍了智能合约的技术优势与典型应用领域,讨论了智能合约的发展趋势,以期为智能合约的后续研究提供参考.     

面向智能合约漏洞检测的改进符号执行研究

由于区块链不可窜改的特性,部署到区块链上的智能合约不可更改.为了提高合约的安全性,防止智能合约出现整数溢出、短地址攻击、伪随机等问题,在合约部署之前需对合约进行漏洞检测.针对智能合约的整数溢出漏洞利用符号执行进行分析研究,对现有符号执行方法进行调查发现检测速度较慢,从而提出一种自底向上求解约束的改进符号执行方法,并结合深度优先与广度优先进行路径选择从而提高符号执行的代码覆盖率.实验结果表明,改进符号执行在选取的100份含溢出漏洞的智能合约中检测正确率达84％,平均检测效率提高了20％,在中等规模智能合约中检测效率提升显著,检测结果正确率较高.     

智能合约漏洞检测工具研究综述

智能合约是区块链平台实现交易的重要组件,为多方交易间信任问题提供了一种有效的解决方案.智能合约不仅管理高价值代币还具有不可更改等特性,导致近年来智能合约多次遭受安全威胁.目前出现了大量关于智能合约安全性的研究,其中智能合约漏洞检测成为主要关注点.文中系统分析了智能合约安全问题,从是否执行合约的角度将漏洞检测工具分为静态检测工具和动态检测工具,并对检测工具进行对比分析,重点分析现有检测工具的漏洞检测能力,介绍了 16种检测技术的原理及优缺点;最后,对如何提高智能合约安全性进行展望,提出了 3个可能提高智能合约安全性的研究方向.     

时空编码技术在Web3.0数字金融中的应用研究

以青岛市城市信息模型(Q-CIM)为基础,分析了基于时间和空间数据的新一代编码技术——时空编码技术的特征,结合Web3.0开放性和可能的发展方向,从架构、身份管理、信息管理等方面论证时空编码技术成为Web3.0的重要支撑技术的合理性,并利用时空编码的唯一性和确定性特征,结合区块链、大数据等现有技术手段,探讨将时空编码技术应用在Web3.0数字金融流量分发与反欺诈、智能化风险控制、数字金融风控等方面的可能性。     

区块链的共识机制研究

[目的]为了更好地解决区块链点对点的通信过程中账本一致性问题.[文献范围]主要从知网、ACM、CCS等参考了四十余篇研究区块链、智能合约技术以及各种共识机制的文献.[方法]分析比较了较常见的共识算法的优缺点,进而说明了各种共识机制的应用场景,介绍了共识机制最新的研究成果并进行了比较.[结果]可见每种共识机制都有自己的优...     

基于区块链的智能合约技术与应用研究

以智能合约技术的发展背景以及平台体系作为切入点,结合当前区块链技术以及智能合约的融合应用优势展开分析.智能合约技术不仅稳定性较高,还可以提升信息传输的保密程度,增强系统的运行安全性.智能合约技术不仅局限于基础的数据传输,在多个领域均有应用价值,能够提升金融体系的管控力度,增强医疗建设质量,强化物联网的社会影响力.     

智能合约安全综述

区块链为构建社会价值传递和信任机制提供了一种新的技术。区块链的快速发展促进了智能合约与人工智能、大数据、物联网等技术的深入融合,其安全性受到重点关注。近几年,区块链与智能合约安全研究取得了较大进展,基于区块链智能合约,对智能合约的运行机制、链上安全和链外安全的最新相关研究成果进行归类、分析、比较、总结和讨论,并展望了智能合约安全性的研究方向和趋势。     

基于区块链的价值链上下游用电安全协同系统

在集团型制造企业价值链运行过程中,存在高峰期电力供应不足,生产用电需求得不到有效保障的问题。集团公司亟需综合考虑生产基地生产需求和用电安全的协同关系,完成精细化的价值链上下游电力调配,保障价值链安全可靠运行。设计了基于区块链的价值链上下游用电安全协同系统,采用基于智能合约的方法对价值链数据使用进行合规性保障,有效解决了集团型制造企业价值链数据共享风险问题和各生产基地价值冲突问题。系统通过完整记录生产基地的订单协同数据和生产基地用电负荷数据,为价值链上下游用电安全保障提供良好的参考及决策依据,对维持公司安全稳定运行、提升公司经济效益有着重要意义。     

基于区块链技术的数字版权隐私性研究

区块链自出现至今一直都是研究热门。区块链技术去中心化、防篡改、时间戳和可追溯等技术优势,能够充分解决目前数字版权中的困境,但由于区块链技术固有的一些特性,并不完全适合数字版权场景。基于此,提出了基于代理重加密的区块链技术方案,解决了数字版权保护中的隐私性问题。