教育论文网

智能合约运行时自我保护技术的研究与实现

论文目录
摘要第1-6页
Abstract第6-10页
第一章 绪论第10-16页
 1.1 研究背景及意义第10-11页
 1.2 国内外发展现状第11-14页
  1.2.1 基于特征代码匹配的智能合约代码审计第11-12页
  1.2.2 基于形式化验证的智能合约代码审计第12页
  1.2.3 基于符号执行、符号抽象的智能合约审计第12-13页
  1.2.4 基于fuzz的智能合约代码审计第13-14页
 1.3 论文主要工作和创新点第14-15页
  1.3.1 主要工作第14-15页
  1.3.2 主要创新点第15页
 1.4 论文结构与安排第15-16页
第二章 相关理论及技术基础第16-28页
 2.1 以太坊虚拟机EVM第16-19页
  2.1.1 EVM的基本结构第16-17页
  2.1.2 EVM的执行流程第17-19页
 2.2 智能合约漏洞第19-25页
  2.2.1 整数溢出漏洞第19-20页
  2.2.2 重入漏洞第20-22页
  2.2.3 拒绝服务攻击第22-24页
  2.2.4 未检查底层call调用的返回值漏洞第24页
  2.2.5 错误随机数漏洞第24-25页
  2.2.6 时间戳依赖漏洞第25页
 2.3 运行时应用程序自我保护技术第25-26页
 2.4 本章小结第26-28页
第三章 基于EVM的智能合约运行时漏洞检测技术研究第28-42页
 3.1 基于EVM存储的漏洞敏感数据流分析第28-30页
  3.1.1 技术概述第28-29页
  3.1.2 污点传播途径分析第29-30页
 3.2 基于敏感算术操作码的整数溢出漏洞检测技术第30-35页
  3.2.1 基于敏感算术操作码的整数溢出漏洞检测模型第31-32页
  3.2.2 算术操作数类型获取第32-34页
  3.2.3 数据类型强制转换规则第34-35页
 3.3 基于敏感CALL操作码的智能合约漏洞检测技术第35-38页
  3.3.1 重入漏洞检测模型第35-37页
  3.3.2 拒绝服务攻击漏洞检测模型第37-38页
  3.3.3 未检查底层call调用返回值漏洞检测模型第38页
 3.4 基于区块信息操作码的智能合约漏洞检测技术第38-41页
  3.4.1 错误随机数漏洞检测模型第38-40页
  3.4.2 时间戳依赖漏洞检测模型第40-41页
 3.5 本章小结第41-42页
第四章 原型框架ESER的设计与实现第42-57页
 4.1 整体框架设计与实现第42-43页
 4.2 主要功能模块设计与实现第43-55页
  4.2.1 污点分析模块第43-46页
  4.2.2 RASP接口模块第46-47页
  4.2.3 漏洞检测模块第47-54页
  4.2.4 智能止血模块第54-55页
 4.3 本章小结第55-57页
第五章 ESER框架的测试与分析第57-64页
 5.1 测试环境第57页
 5.2 测试用例第57-59页
 5.3 测试结果分析第59-61页
  5.3.1 功能比对分析第59-60页
  5.3.2 指标比对分析第60-61页
 5.4 运行效率测试第61-62页
 5.5 本章小结第62-64页
第六章 总结与展望第64-66页
 6.1 总结第64页
 6.2 展望第64-66页
参考文献第66-70页
致谢第70-71页
攻读学位期间取得的研究成果第71页

本篇论文共71页,点击 这进入下载页面

 
 
Copyright(C) All Rights Reserved
客服QQ:304386486
目录由用户 sunqua** 提供,作者删除入口请点击这里