区块链应用开发及其安全验证工具的研究与实现

区块链应用开发及其安全验证工具的研究与实现

区块链admin2020-07-24 18:25:2697A+A-

  由于区块链不可篡改特性,已经部署上线的智能合约代码,将无法修改或升级。一旦智能合约因为自身代码设计产生的问题,导致的智能合约安全漏洞,以致整个区块链应用土崩瓦解,或将产生不可逆转的重大损失。而使用一些代码缺陷检查方法,例如模型检查、静态代码分析等技术,提前发现程序缺陷代码,及时修改问题代码,可起防患于未然的作用。本文基于以太坊区块链平台,以开发安全的去中心的区块链应用作为切入点,对区块链技术原理、以太坊区块链去中心化应用框架、区块链智能合约开发、以太坊智能合约缺陷漏洞方面等展开深入研究,并提出一种结合形式化验证的模型检查技术和静态代码检查技术的,对智能合约缺陷漏洞进行验证的工具框架。本文最后基于区块链应用框架和安全验证的工具框架,开发了一款区块链去中心化应用“加密熊猫”,和一个自动化以太坊智能合约漏洞安全检查工具,并详细介绍去中心化应用“加密熊猫”和智能合约验证工具的开发过程和技术原理。论文主要研究分为以下几个方面(1)研究区块链技术和以太坊区块链平台,总结了一个以太坊区块链平台去中心化的应用框架;并依据该框架,在以太坊平台上开发了一款区块链去中心化应用。(2)总结了以太坊区块链平台上的智能合约几种常见的安全漏洞模型,结合区块链技术和代码安全检查技术,分析了各智能合约漏洞产生的原因和不同漏洞安全验证的方法(3)结合形式化验证的模型检查和静态代码检查技术,基于智能合约漏洞模型和安全验证方法,提出了一种自动化智能合约安全验证工具框架,并基于该框架,开发了一款自动化以太坊智能合约漏洞安全验证工具论文最后对区块链应用和智能合约安全验证工具进行演示和性能测试,从测试结果来看,论文开发的区块链去中心化应用具备透明、可追踪、不可篡改、隐私保护等特性,对比传统应用来看,有革命性意义;漏洞安全检查工具也可以有效的检查出区块链智能合约代码中基本的缺陷漏洞,效果作用明显,对开发安全的区块链应用,有非常重要的意义。

  钱振江;刘苇;黄皓;;操作系统形式化设计与验证综述[J];计算机工程;2012年11期

  刘春燕;赖晓晨;周宽久;郑红波;;基于关系语法树的C/C++代码静态检测方法研究[J];计算机工程与设计;2011年08期

  程亮;张阳;;基于UML和模型检测的安全模型验证方法[J];计算机学报;2009年04期

  梁婕;张淼;徐国爱;杨义先;;基于静态分析技术的源代码安全检测模型[J];计算机应用研究;2008年09期

  张林;曾庆凯;;软件安全漏洞的静态检测技术[J];计算机工程;2008年12期

  蒋屹新,林闯,曲扬,尹浩;基于Petri网的模型检测研究[J];软件学报;2004年09期

  王海峰,吕永波,张仲义;一种系统安全性的形式化验证方法[J];计算机工程与应用;2003年04期

  吕增援;黄松;惠战伟;;基于FindBugs的函数返回值缺陷检测模式的改进[J];解放军理工大学学报(自然科学版);2015年06期

  陈丽蓉;李允;罗蕾;;嵌入式操作系统的形式化验证研究[J];计算机科学;2015年08期

  罗琴灵;蒋朝惠;;多策略软件代码缺陷检测方法研究[J];贵州大学学报(自然科学版);2015年03期

  孙鸿洋;;试析计算机软件安全漏洞检测[J];电脑知识与技术;2015年14期

  孙向军;;计算机安全漏洞检测技术的应用[J];电子制作;2015年07期

  侯刚;周宽久;常军旺;王洁;李明楚;;基于时间STM的软件形式化建模与验证方法[J];软件学报;2015年02期

  刘贺;郝增帅;赵婷;;一种基于沙箱技术的网页挂马检测系统[J];电子测试;2014年22期

  王楠;;基于约束特征匹配的软件安全性缺陷静态分析技术及在金融业的应用[J];西部金融;2014年11期

  李俊;;白盒代码安全审计方法浅析[J];牡丹江大学学报;2014年10期

  杨达;;基于UPPAAL的微内核操作系统程序验证方法研究[J];电脑与信息技术;2014年05期

  李鑫;王甜甜;苏小红;马培军;;消除GCC抽象语法树文本中冗余信息的算法研究[J];计算机科学;2008年10期

  张频;罗贵明;;UML模型检测方法的研究[J];计算机应用;2007年10期

  夏一民;罗军;张民选;;基于静态分析的安全漏洞检测技术研究[J];计算机科学;2006年10期

  卿斯汉;高安全等级安全操作系统的隐蔽通道分析[J];软件学报;2004年12期

  卿斯汉,朱继锋;安胜安全操作系统的隐蔽通道分析[J];软件学报;2004年09期

  董威,王戟,齐治昌;UMLStatecharts的模型检验方法[J];软件学报;2003年04期

  梁洪亮,孙玉芳,赵庆松,张相锋,孙波;一个安全标记公共框架的设计与实现[J];软件学报;2003年03期

  张扬;;区块链在文化产业的应用场景[A];2018世界经济特区发展(深圳)论坛——改革开放再出发论文集(中英文双语)[C];2018年

  邓柯;;区块链在实体经济中的创新应用[A];2018世界经济特区发展(深圳)论坛——改革开放再出发论文集(中英文双语)[C];2018年

  涂志勇;;区块链金融监管[A];2018世界经济特区发展(深圳)论坛——改革开放再出发论文集(中英文双语)[C];2018年

  甄平;玄佳兴;陈智雨;;能源区块链关键技术[A];电力通信技术研究及应用[C];2019年

  刘斌;郭东;王玥;陈锋;;区块链在证券行业的应用方向与挑战[A];创新与发展:中国证券业2018年论文集(下册)[C];2019年

  李长银;李虹含;高寒;陈涛;;区块链技术的发展趋势及其对金融业的影响[A];《国际货币评论》2017年合辑[C];2017年

  王敏;郭雁青;席超;;区块链技术在政企、军警领域关于数据交换及存储中的应用价值[A];第十二届全国信号和智能信息处理与应用学术会议论文集[C];2018年

  杨兆鑫;李萌;金凯;杨睿哲;张延华;;区块链农产品溯源电商的设计与实现[A];第十二届全国信号和智能信息处理与应用学术会议论文集[C];2018年

  ;冥古宙 区块链思维研究报告 2018年[A];艾瑞咨询系列研究报告(2018年第9期)[C];2018年

  Bhavin Patel;潘松岑;;“炒作”背后的区块链技术降低交易对手风险,加强管制[A];《IMI研究动态》2018年第二季度合辑[C];2018年

  本报见习记者 赵利利;疯狂区块链:“点石成金”还是“一地鸡毛”[N];中国科学报;2018年

  本报记者 杨洁;逾800条提问聚焦区块链 多家上市公司显露开拓雄心[N];中国证券报;2019年

  本报记者 欧阳剑环;发掘区块链应用潜力 警惕概念炒作风险[N];中国证券报;2019年

  本报记者 刘杨;区块链概念公司忙“澄清”[N];中国证券报;2019年

  本报记者 张枕河;区块链“淘汰赛”战况激烈[N];中国证券报;2019年

  本报记者 周璐璐;港股区块链概念回调明显[N];中国证券报;2019年

  本报记者 孔臻;区块链+数字经济生态村在饶落户[N];上饶日报;2019年

  本报记者 郭新志;杨涛:区块链创新和币圈无关[N];中国证券报;2019年

  李皎;考虑信任度和权值的区块链数据通信性能优化研究[D];西北工业大学;2017年

  郭子卿;加密外包数据上的信息检索方案研究[D];北京邮电大学;2019年

  周桐;基于区块链技术的可信数据通证化方法的研究与应用[D];中国科学技术大学;2019年

  黄慧;基于区块链的数据交换与共享技术研究[D];西安电子科技大学;2019年

  周亮瑾;基于区块链和分布式数据库的铁路旅客隐私保护技术研究[D];中国铁道科学研究院;2018年

  王成;基于区块链的保险行业信息系统架构及关键技术研究[D];中国铁道科学研究院;2017年

  董友康;基于区块链的安全电子投票系统的设计与实现[D];北京交通大学;2019年

  黄奕敏;基于区块链的充电桩系统智能合约应用研究[D];华北电力大学;2019年

  王莉鑫;基于区块链共识机制的能源互联网协同优化研究[D];华北电力大学;2019年

  张齐齐;能源互联网中基于格密码的区块链隐私保护研究[D];华北电力大学;2019年

  李凤阳;基于区块链的农业订单平台开发[D];杭州电子科技大学;2019年

  苏婷婷;《HTML5区块链引擎及平台资讯》中译英翻译项目报告[D];广西大学;2019年

  杨雨淋;区块链私募股权基金监管法律问题研究[D];江西财经大学;2019年

点击这里复制本文地址 免责声明:本站内容由程序自动采集于互联网,无人工干预,只作交流和学习使用,本站不储存任何资源内容,如有侵权请联系qq邮箱798244092@qq.com立刻删除,谢谢!

支持Ctrl+Enter提交

区块链 © All Rights Reserved.  
Powered by 多多资源网 Themes by 多多资源网
联系我们| 关于我们| 留言建议| 网站管理