基本信息

---

下载

文档摘要

---

工业互联网平台区块链智能合约安全漏洞检测与修复技术

一、工业互联网平台区块链智能合约安全漏洞检测与修复技术概述

1.1技术背景

1.2技术挑战

1.2.1智能合约代码复杂性

1.2.2漏洞检测难度大

1.2.3修复成本高

1.3技术意义

1.3.1提高工业互联网平台安全性

1.3.2促进区块链技术在工业领域的应用

1.3.3降低企业损失

二、智能合约安全漏洞检测技术

2.1漏洞检测方法概述

2.1.1静态分析方法

2.1.2动态分析方法

2.1.3符号执行方法

2.2漏洞检测工具与技术

2.2.1Oyente

2.2.2Slither

2.2.3Mythril