由于區(qū)塊鏈不可篡改特性,已經(jīng)部署上線的智能合約代碼,將無法修改或升級。一旦智能合約因為自身代碼設(shè)計產(chǎn)生的問題,導(dǎo)致的智能合約安全漏洞,以致整個區(qū)塊鏈應(yīng)用土崩瓦解,或?qū)a(chǎn)生不可逆轉(zhuǎn)的重大損失。而使用一些代碼缺陷檢查方法,例如模型檢查、靜態(tài)代碼分析等技術(shù),提前發(fā)現(xiàn)程序缺陷代碼,及時修改問題代碼,可起防患于未然的作用。本文基于以太坊區(qū)塊鏈平臺,以開發(fā)安全的去中心的區(qū)塊鏈應(yīng)用作為切入點,對區(qū)塊鏈技術(shù)原理、以太坊區(qū)塊鏈去中心化應(yīng)用框架、區(qū)塊鏈智能合約開發(fā)、以太坊智能合約缺陷漏洞方面等展開深入研究,并提出一種結(jié)合形式化驗證的模型檢查技術(shù)和靜態(tài)代碼檢查技術(shù)的,對智能合約缺陷漏洞進(jìn)行驗證的工具框架。本文最后基于區(qū)塊鏈應(yīng)用框架和安全驗證的工具框架,開發(fā)了一款區(qū)塊鏈去中心化應(yīng)用“加密熊貓”,和一個自動化以太坊智能合約漏洞安全檢查工具,并詳細(xì)介紹去中心化應(yīng)用“加密熊貓”和智能合約驗證工具的開發(fā)過程和技術(shù)原理。論文主要研究分為以下幾個方面(1)研究區(qū)塊鏈技術(shù)和以太坊區(qū)塊鏈平臺,總結(jié)了一個以太坊區(qū)塊鏈平臺去中心化的應(yīng)用框架;并依據(jù)該框架,在以太坊平臺上開發(fā)了一款區(qū)塊鏈去中心化應(yīng)用。(2)總結(jié)了以太坊區(qū)塊鏈平臺上...

【文章頁數(shù)】：89 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
abstract
第一章 緒論
    1.1 研究工作的背景與意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 研究主要內(nèi)容
    1.4 論文結(jié)構(gòu)
第二章 相關(guān)技術(shù)介紹
    2.1 區(qū)塊鏈技術(shù)
    2.2 以太坊區(qū)塊鏈
        2.2.1 以太坊系統(tǒng)架構(gòu)
        2.2.2 以太坊應(yīng)用層
        2.2.3 以太坊合約層
        2.2.4 以太坊共識層
        2.2.5 以太坊網(wǎng)絡(luò)層
        2.2.6 以太坊數(shù)據(jù)層
    2.3 模型檢查
        2.3.1 狀態(tài)模型
        2.3.2 Z3求解器
    2.4 代碼靜態(tài)檢查
    2.5 本章小結(jié)
第三章 區(qū)塊鏈應(yīng)用及其驗證工具
    3.1 區(qū)塊鏈應(yīng)用框架
        3.1.1 DApp智能合約
        3.1.2 以太坊賬戶
        3.1.3 web3.0區(qū)塊鏈交互接口
    3.2 智能合約漏洞
        3.2.1 漏洞分析
        3.2.2 漏洞檢查方法
    3.3 安全驗證工具框架
        3.3.1 編譯器引擎
        3.3.2 模型檢查器
        3.3.3 規(guī)則匹配檢查器
        3.3.4 報告生成器
    3.4 本章小結(jié)
第四章 區(qū)塊鏈應(yīng)用開發(fā)
    4.1 應(yīng)用架構(gòu)
    4.2 智能合約開發(fā)
        4.2.1 Token智能合約
        4.2.2 熊貓智能合約
        4.2.3 功能智能合約
        4.2.4 智能合約部署
    4.3 區(qū)塊鏈賬戶開發(fā)
        4.3.1 公鑰賬戶
        4.3.2 交易數(shù)字簽名
        4.3.3 廣播交易
    4.4 前端交互界面開發(fā)
        4.4.1 前端功能描述
        4.4.2 界面開發(fā)
    4.5 成果演示與測試
        4.5.1 區(qū)塊鏈應(yīng)用演示
        4.5.2 性能測試
    4.6 本章小結(jié)
第五章 智能合約安全驗證工具開發(fā)
    5.1 智能合約編譯器
    5.2 智能合約運行虛擬機(jī)
        5.2.1 世界狀態(tài)
        5.2.2 機(jī)器狀態(tài)
        5.2.3 執(zhí)行環(huán)境狀態(tài)
    5.3 安全缺陷模型和求解器
        5.3.1 安全模型
        5.3.2 模型求解
        5.3.3 靜態(tài)檢查
    5.4 報告生成器
    5.5 成果演示與測試
        5.5.1 安全驗證工具演示
        5.5.2 性能測試
    5.6 本章小結(jié)
第六章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
致謝
參考文獻(xiàn)



本文編號：3941513