智能合約安全分析和審計指南

定　價：￥79.00

作　者：	王藝卓等著
出版社：	電子工業(yè)出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

京東 (￥79.00)

ISBN：	9787121367847	出版時間：	2019-08-01	包裝：	平裝
開本：	16	頁數：	320	字數：

內容簡介

　　智能合約是近年來出現(xiàn)的一種旨在以信息化方式傳播、驗證、執(zhí)行合同的計算機協(xié)議。盡管可編程的區(qū)塊鏈為去中心化的概念在生活中的應用創(chuàng)造了無限可能，但區(qū)塊鏈項目的大規(guī)模落地與推廣仍面臨一系列挑戰(zhàn)?！吨悄芎霞s安全分析和審計指南》秉承由淺入深、理論與實踐相結合的思想，在闡述理論的同時，也對相關操作進行了詳細說明。相信讀者在閱讀完本書后，會對以太坊智能合約有比較完整的了解，更重要的是，會對與以太坊智能合約相關的網絡安全問題有充分的認識，并能夠在開發(fā)和審計過程中積極應對常見的網絡安全問題。《智能合約安全分析和審計指南》適合智能合約開發(fā)人員、智能合約審計人員、網絡安全研究人員，以及對區(qū)塊鏈、智能合約感興趣的讀者閱讀。

作者簡介

　　王藝卓網絡ID Xrosheart，就讀于上海交通大學網絡空間安全學院?，F(xiàn)于Loccs實驗室區(qū)塊鏈研究小組和看雪區(qū)塊鏈安全小組從事區(qū)塊鏈領域的研究，在以太坊智能合約安全方面有相關在投論文和在申請專利。陳佳林看雪論壇“iOS安全”版主roysue，看雪講師，在移動安全領域有豐富的項目經驗。曾在2017看雪安全開發(fā)者峰會、GeekPwn發(fā)表主題演講，多次主持銀行、電信、行業(yè)部門的培訓并擔任講師，在看雪、FreeBuf、安全客等安全社區(qū)發(fā)表多篇精華文章。目前就職于看雪科技，主要研究方向包括移動安全、區(qū)塊鏈等。王鑫網絡ID dwfault，啟明星辰ADLab團隊安全研究員。主要研究方向為區(qū)塊鏈、Web瀏覽器等軟件系統(tǒng)的漏洞分析、漏洞挖掘，并在上述領域獲得了若干CVE漏洞編號和廠商致謝。何芷珊網絡ID CoralineH，畢業(yè)于上海交通大學電子信息與電氣工程學院信息安全專業(yè)。主要研究方向包括區(qū)塊鏈、人工智能對抗、ICN等。

圖書目錄

第1章由淺入深理解區(qū)塊鏈
1.1 區(qū)塊鏈簡介 1
1.2 區(qū)塊鏈1.0 ——比特幣，一種點對點的現(xiàn)金支付系統(tǒng) 1
1.2.1 比特幣的產生 1
1.2.2 深入分析比特幣的工作機制 5
1.2.3 結合《比特幣白皮書》理解比特幣 9
1.2.4 比特幣的回顧與剖析 13
1.2.5 比特幣的不足 16
1.3 區(qū)塊鏈2.0 ——以太坊 18
1.3.1 以太坊的產生 18
1.3.2 深入理解以太坊 18
1.4 區(qū)塊鏈3.0 ——DApp 25
1.5 基于以太坊的智能合約入門 25
1.5.1 智能合約的結構 26
1.5.2 EOS上的智能合約及其與以太坊的對比 27
第2章智能合約開發(fā)實戰(zhàn)
2.1 以太坊網絡 29
2.2 私有鏈的搭建 30
2.2.1 geth簡介 30
2.2.2 geth的安裝與配置 31
2.2.3 geth的操作及相關說明 33
2.2.4 以太坊中的賬戶與密鑰 39
2.2.5 查看以太坊網絡的狀態(tài) 40
2.3 Mist和Ethereum Wallet的安裝、配置與操作 42
2.3.1 下載與安裝 42
2.3.2 通過Ethereum Wallet連接本地私有庫 42
2.3.3 用Mist實現(xiàn)多重簽名 45
2.4 以太坊智能合約開發(fā)實戰(zhàn) 52
2.4.1 開發(fā)環(huán)境 52
2.4.2 編寫第一個智能合約 54
2.5 ERC-20 Token合約 58
2.5.1 Token合約概述 58
2.5.2 ERC-20 Token合約詳解 60
2.5.3 對ERC-20 Token合約的進一步說明 61
2.6 本章小結 63
第3章智能合約語法實戰(zhàn)
3.1 造就骨架——建立合約框架 64
3.2 初添血肉——添加狀態(tài)變量 66
3.2.1 數據類型簡介 66
3.2.2 添加uint類型的變量 67
3.2.3 添加結構體 67
3.2.4 添加數組 68
3.3 再添經脈——添加函數 70
3.3.1 添加一個簡單的函數 70
3.3.2 添加一個復雜的函數 72
3.3.3 特別的函數——回退函數 75
3.4 與外界交互——添加事件 80
3.5 大腦的溝通——多用戶拓展 82
3.5.1 神經的連接——映射和地址 82
3.5.2 神經的傳輸——msg.sender 85
3.5.3 神經興奮的判別——require()方法 87
3.5.4 生命的傳承——Inheritance 87
3.5.5 血液里的本能——“獵食”和“繁殖” 90
3.5.6 DNA的融合 91
3.5.7 各司其職的隱私——關于函數可見性的更多內容 92
3.5.8 同化作用——合約交互 93
3.5.9 同化作用的結果——獲得獎勵 98
3.6 高級Solidity理論 100
3.6.1 外部依賴關系 100
3.6.2 權限的產生——Ownable Contracts 101
3.6.3 權限的確認——函數修飾符onlyOwner 105
3.6.4 運轉的動力——gas 107
3.7 Truffle的介紹與安裝 108
3.8 創(chuàng)建、部署、使用Token合約 110
3.8.1 Truffle的box和OpenZeppelin 110
3.8.2 安裝tutorialtoken box和OpenZeppelin 111
3.8.3 創(chuàng)建TutorialToken合約 112
3.8.4 合約的編譯與部署 114
3.8.5 合約操作與實踐 116
3.9 創(chuàng)建、部署、使用ICO合約 121
3.9.1 ICO簡介 121
3.9.2 創(chuàng)建ICO合約 122
3.9.3 ICO合約的編譯與部署 125
3.9.4 ICO合約的操作實踐 130
3.10 本章小結 131
第4章智能合約常見漏洞
4.1 智能合約審計指南 132
4.1.1 智能合約審計概述 132
4.1.2 智能合約審計報告的結構 132
4.2 整型溢出漏洞 133
4.2.1 漏洞概述 133
4.2.2 代碼片段 133
4.2.3 漏洞分析與調試 134
4.2.4 相關案例 139
4.2.5 規(guī)避整型溢出的神器——SafeMath庫 140
4.3 重入漏洞 141
4.3.1 漏洞概述 141
4.3.2 代碼片段 148
4.3.3 漏洞分析、調試與防范 149
4.3.4 相關案例 155
4.4 訪問控制缺陷 155
4.4.1 漏洞概述 155
4.4.2 代碼片段 156
4.4.3 漏洞分析、調試與防范 157
4.4.4 相關案例 162
4.5 特權功能暴露 162
4.5.1 漏洞概述 162
4.5.2 代碼片段 163
4.5.3 漏洞分析、調試與防范 163
4.5.4 相關案例 170
4.6 跨合約調用漏洞 170
4.6.1 漏洞概述 170
4.6.2 代碼片段 172
4.6.3 漏洞分析、調試與防范 173
4.6.4 相關案例 176
4.7 拒絕服務漏洞 177
4.7.1 漏洞概述 177
4.7.2 代碼片段 177
4.7.3 漏洞分析、調試與防范 178
4.7.4 相關案例 185
4.8 礦工特權隱患 185
4.8.1 漏洞概述 185
4.8.2 代碼片段 185
4.8.3 漏洞分析與防范 186
4.8.4 相關案例 187
4.9 短地址攻擊 187
4.9.1 漏洞概述 187
4.9.2 代碼片段 189
4.9.3 漏洞分析、調試與防范 190
4.10 tx.origin漏洞 195
4.10.1 漏洞概述 195
4.10.2 代碼片段 195
4.10.3 漏洞分析、調試與防范 195
4.11 本章小結 199
第5章智能合約蜜罐
5.1 智能合約蜜罐概述 201
5.2 WhaleGiveaway1 201
5.2.1 蜜罐分析 201
5.2.2 代碼復現(xiàn) 203
5.3 Gift_1_ETH 207
5.3.1 蜜罐分析 207
5.3.2 代碼復現(xiàn) 210
5.4 MultiplicatorX3 213
5.4.1 蜜罐分析 213
5.4.2 代碼復現(xiàn) 215
5.5 TestBank 217
5.5.1 蜜罐分析 217
5.5.2 代碼復現(xiàn) 221
5.6 CryptoRoulette 223
5.6.1 蜜罐分析 223
5.6.2 代碼復現(xiàn) 225
5.7 OpenAddressLottery 226
5.7.1 蜜罐分析 226
5.7.2 代碼復現(xiàn) 229
5.8 KingOfTheHill 231
5.8.1 蜜罐分析 231
5.8.2 代碼復現(xiàn) 233
5.9 RACEFORETH 235
5.10 For_Test 237
5.10.1 蜜罐分析 237
5.10.2 代碼復現(xiàn) 239
5.11 DividendDistributor 240
5.11.1 蜜罐分析 240
5.11.2 代碼復現(xiàn) 244
5.12 與智能合約蜜罐相關的安全建議 246
5.13 本章小結 246
第6章常見智能合約分析與審計工具
6.1 智能合約分析工具——Solgraph 247
6.1.1 Solgraph簡介 247
6.1.2 Solgraph的安裝與使用 248
6.2 智能合約審計工具——mythril 250
6.2.1 mythril的安裝 251
6.2.2 mythril的使用與功能說明 252
6.3 智能合約審計平臺——SECURIFY 257
6.3.1 SECURIFY概述 257
6.3.2 SECURIFY系統(tǒng)探究 259
6.3.3 SECURIFY的使用 261
第7章智能合約審計實戰(zhàn)
7.1 智能合約審計清單 264
7.2 博彩游戲合約審計 265
7.2.1 合約代碼與合約功能瀏覽 265
7.2.2 審計報告 268
7.3 CryptoKitties合約審計 274
7.4 本章小結 277
第8章智能合約字節(jié)碼解構
8.1 打開引擎蓋——智能合約下的字節(jié)碼 278
8.2 解構第一步——creation 282
8.3 解構第二步——runtime 291
8.3.1 函數選擇器 292
8.3.2 函數包裝器 295
8.3.3 函數主體 301
8.3.4 元數據散列 305
8.4 本章小結 309
參考文獻 310