1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 法律/法规/法学
  5. 专利法

区块链智能合约形式化验证工具开发与重入攻击检测应用.docx

区块链智能合约形式化验证工具开发与重入攻击检测应用.docx

    PAGE2

    目录

    TOC\o1-3\h\z\u区块链智能合约形式化验证工具开发与重入攻击检测应用 3

    摘要 3

    第一章绪论 3

    1.1研究背景 3

    1.2研究目的与意义 4

    1.3国内外研究现状 4

    1.4研究内容与论文组织 5

    第二章相关技术与开发工具 5

    2.1关键技术介绍 5

    2.2技术选型与论证 6

    第三章需求分析 7

    3.1系统目标与用户角色 7

    3.2功能需求分析 8

    3.3非功能需求分析 9

    3.4需求建模 10

    第四章系统总体设计 10

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >