女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

電子發燒友App

硬聲App

搜索歷史

清空
搜索熱詞
      0
      • 聊天消息
      • 系統消息
      • 評論與回復
      VIP于 到期 續費
      登錄后你可以
      • 下載海量資料
      • 學習在線課程
      • 觀看技術視頻
      • 寫文章/發帖/加入社區
      會員中心
      創作中心
      發布
      創作活動

      完善資料讓更多小伙伴認識你，還能領取20積分哦，立即完善>

      3天內不再提示
      電子發燒友網>電子資料下載>物聯網>基于代幣智能合約整數溢出漏洞的建模與驗證

      基于代幣智能合約整數溢出漏洞的建模與驗證

      2021-03-19 | pdf | 1.30 MB | 次下載 | 免費

      資料介紹

      　　針對代幣智能合約的安全問題，提岀一種基于代幣智能合約整數溢岀漏洞的形式化建模與驗證方法。分析現有 The dao和BEC等漏洞攻擊事件，定義代幣智能合約的安全屬性，通過引入全局變量和數值比較等約束條件對代幣智能合約的建模語言進行擴展，使其支持智能合約各類語句的形式化表示。借鑒數學歸納法的思想，優化 Smart verif模型驗證過程，避免狀態空間的無限遍歷。實驗結果表明，該方法能成功找岀代幣智能合約的整數溢出漏洞，并且具有較強的通用性。

      下載該資料的人也在下載 下載該資料的人還在閱讀
      更多 >

      評論

      查看更多

      下載排行

      本周

      1. 1AD庫封裝庫安裝教程
      2. 0.49 MB   |  2次下載  |  免費
      3. 2PC6206 300mA低功耗低壓差線性穩壓器中文資料
      4. 1.12 MB   |  1次下載  |  免費
      5. 3網絡安全從業者入門指南
      6. 2.91 MB   |  1次下載  |  免費
      7. 4DS-CS3A P00-CN-V3
      8. 618.05 KB  |  1次下載  |  免費
      9. 5常用電子元器件介紹
      10. 3.21 MB   |  1次下載  |  免費
      11. 6Claroty與NIST網絡安全框架中文手冊
      12. 1.17 MB   |  次下載  |  免費
      13. 7NXP-TJA1054AT 英文原版資料
      14. 0.77 MB   |  次下載  |  免費
      15. 8PC3622 多相功能寬輸入同步升壓控制器中文手冊
      16. 0.84 MB   |  次下載  |  免費

      本月

      1. 1貼片三極管上的印字與真實名稱的對照表詳細說明
      2. 0.50 MB   |  106次下載  |  1 積分
      3. 2涂鴉各WiFi模塊原理圖加PCB封裝
      4. 11.75 MB   |  89次下載  |  1 積分
      5. 3錦銳科技CA51F2 SDK開發包
      6. 24.06 MB   |  43次下載  |  1 積分
      7. 4錦銳CA51F005 SDK開發包
      8. 19.47 MB   |  19次下載  |  1 積分
      9. 5PCB的EMC設計指南
      10. 2.47 MB   |  16次下載  |  1 積分
      11. 6HC05藍牙原理圖加PCB
      12. 15.76 MB   |  13次下載  |  1 積分
      13. 7802.11_Wireless_Networks
      14. 4.17 MB   |  12次下載  |  免費
      15. 8蘋果iphone 11電路原理圖
      16. 4.98 MB   |  6次下載  |  2 積分

      總榜

      1. 1matlab軟件下載入口
      2. 未知  |  935127次下載  |  10 積分
      3. 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
      4. 1.48MB  |  420064次下載  |  10 積分
      5. 3Altium DXP2002下載入口
      6. 未知  |  233089次下載  |  10 積分
      7. 4電路仿真軟件multisim 10.0免費下載
      8. 340992  |  191390次下載  |  10 積分
      9. 5十天學會AVR單片機與C語言視頻教程 下載
      10. 158M  |  183342次下載  |  10 積分
      11. 6labview8.5下載
      12. 未知  |  81588次下載  |  10 積分
      13. 7Keil工具MDK-Arm免費下載
      14. 0.02 MB  |  73815次下載  |  10 積分
      15. 8LabVIEW 8.6下載
      16. 未知  |  65989次下載  |  10 積分