電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
針對(duì)代幣智能合約的安全問(wèn)題，提岀一種基于代幣智能合約整數(shù)溢岀漏洞的形式化建模與驗(yàn)證方法。分析現(xiàn)有 The dao和BEC等漏洞攻擊事件，定義代幣智能合約的安全屬性，通過(guò)引入全局變量和數(shù)值比較等約束條件對(duì)代幣智能合約的建模語(yǔ)言進(jìn)行擴(kuò)展，使其支持智能合約各類語(yǔ)句的形式化表示。借鑒數(shù)學(xué)歸納法的思想，優(yōu)化 Smart verif模型驗(yàn)證過(guò)程，避免狀態(tài)空間的無(wú)限遍歷。實(shí)驗(yàn)結(jié)果表明，該方法能成功找岀代幣智能合約的整數(shù)溢出漏洞，并且具有較強(qiáng)的通用性。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- Simplelink CC32xx SDK整數(shù)溢出問(wèn)題
- 數(shù)學(xué)建模選修課之MATLAB的基礎(chǔ)使用教程 0次下載
- 基于智能合約的無(wú)線Mesh網(wǎng)絡(luò)安全架構(gòu)SCSA 3次下載
- 檢測(cè)驗(yàn)證Java Web程序的SQLIA漏洞解決方法 19次下載
- 基于智能合約的三方博弈理性委托計(jì)算協(xié)議 3次下載
- 基于SPESC到目標(biāo)程序語(yǔ)言的智能合約系統(tǒng)框架 15次下載
- 區(qū)塊鏈智能合約的缺陷檢測(cè)相關(guān)研究 10次下載
- 緩沖區(qū)溢出攻擊的原理和防范技術(shù)分析 17次下載
- 數(shù)字專用集成電路設(shè)計(jì)中的SystemC建模驗(yàn)證方法
- AHB片上系統(tǒng)總線的建模與驗(yàn)證
- 網(wǎng)絡(luò)安全中的堆棧溢出技術(shù)解析
- 二進(jìn)制掃描的緩沖區(qū)溢出漏洞探測(cè)技術(shù)
- 軟件安全漏洞的靜態(tài)檢測(cè)技術(shù)
- 二進(jìn)制環(huán)境下的緩沖區(qū)溢出漏洞動(dòng)態(tài)檢測(cè)
- 緩沖區(qū)溢出攻擊模式及其防御的研究
- WebP圖像編解碼庫(kù)libwebp存在堆緩沖區(qū)溢出漏洞 4992次閱讀
- 如何對(duì)模型驅(qū)動(dòng)的智能合約進(jìn)行開(kāi)發(fā) 976次閱讀
- 基于一種通過(guò)智能合約實(shí)現(xiàn)代幣間自動(dòng)交易的Uniswap協(xié)議原理詳解 4654次閱讀
- 新一代代幣合約標(biāo)準(zhǔn)ERC-777的功能用法解析 3534次閱讀
- 智能合約的安全漏洞是什么 2250次閱讀
- 如何避免以太坊智能合約的重入攻擊 1163次閱讀
- 如何使用工廠模式來(lái)減少智能合約安全漏洞的影響 650次閱讀
- 為什么說(shuō)形式驗(yàn)證不是測(cè)試安全性的完整解決方案 1343次閱讀
- 如何防止算術(shù)運(yùn)算出現(xiàn)下溢和溢出錯(cuò)誤 4531次閱讀
- 以太坊智能合約安全存在漏洞嗎 1697次閱讀
- 堆棧溢出技術(shù)從入門到精通 2656次閱讀
- 什么是智能合約遷移 932次閱讀
- 一文教你在Etherscan上驗(yàn)證智能合約 3699次閱讀
- 關(guān)于堆棧溢出技術(shù)你知道多少? 6411次閱讀
- 什么是智能合約？區(qū)塊鏈智能合約漏洞又是怎么回事？ 5110次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1491次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 95次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于單片機(jī)和 SG3525的程控開(kāi)關(guān)電源設(shè)計(jì)
- 0.23 MB | 4次下載 | 免費(fèi)
- 8基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537793次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論