基本信息

---

下载

文档摘要

---

工业互联网平台区块链智能合约安全漏洞分析与防护技术参考模板

一、工业互联网平台区块链智能合约安全漏洞分析与防护技术

1.1智能合约安全漏洞分析

1.1.1智能合约逻辑漏洞

1.1.2智能合约权限漏洞

1.1.3智能合约数据存储漏洞

1.2智能合约安全防护技术

1.2.1代码审计

1.2.2形式化验证

1.2.3安全编码规范

1.2.4合约优化

1.2.5合约审计与测试

二、智能合约安全漏洞的具体案例分析

2.1案例一：TheDAO攻击

2.1.1漏洞分析

2.1.2后果

2.2案例二：Parity多签钱包漏洞

2.2.1漏洞分析

2.2.2后果

2.3案例三