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

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

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

【文章目錄】：
摘要
abstract
第一章 緒論
    1.1 研究工作的背景與意義
    1.2 國(guó)內(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 以太坊共識(shí)層
        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)用及其驗(yàn)證工具
    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 安全驗(yàn)證工具框架
        3.3.1 編譯器引擎
        3.3.2 模型檢查器
        3.3.3 規(guī)則匹配檢查器
        3.3.4 報(bào)告生成器
    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 成果演示與測(cè)試
        4.5.1 區(qū)塊鏈應(yīng)用演示
        4.5.2 性能測(cè)試
    4.6 本章小結(jié)
第五章 智能合約安全驗(yàn)證工具開發(fā)
    5.1 智能合約編譯器
    5.2 智能合約運(yùn)行虛擬機(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 報(bào)告生成器
    5.5 成果演示與測(cè)試
        5.5.1 安全驗(yàn)證工具演示
        5.5.2 性能測(cè)試
    5.6 本章小結(jié)
第六章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
致謝
參考文獻(xiàn)



本文編號(hào)：3941513