色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

電子發燒友App

硬聲App

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

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

3天內不再提示
電子發燒友網>電子資料下載>電子論文>測試測量論文>基于模型檢驗的軟件安全靜態分析研究

基于模型檢驗的軟件安全靜態分析研究

2009-08-12 | rar | 128 | 次下載 | 5積分

資料介紹

軟件安全靜態分析是檢測軟件安全漏洞的一種手段。本文在總結現有的軟件安全靜
態分析方法的基礎上,將在硬件設計領域得到成功應用的模型檢驗方法引入到軟件產品的檢驗中,給出了一種基于自動機理論的檢測軟件安全的模型檢驗方法,闡述了其原理和工作流程,并用實例進行了驗證說明。
隨著計算機系統廣泛應用,系統安全性越來越得到重視。軟件安全漏洞是現代計算機
系統的毒瘤,多數惡意攻擊都源自軟件產品各種各樣的漏洞。由于安全漏洞具有相當的隱蔽性,如何檢測軟件中可能存在的安全漏洞已成為信息安全關注的焦點。目前對于軟件漏洞檢測的研究有靜態分析和動態檢測兩個分支,其中靜態分析是主要的研究方向。靜態分析通過對源代碼的掃描和分析來檢測漏洞,不需要改動源代碼;動態檢測則通過在程序執行期間對內存和堆棧的監測來檢測漏洞,需要添加并重新編譯源代碼,增加了系統開銷[1]。
模型檢驗是一種重要的自動化驗證方法,它最早由 Clarke 和Emerson 提出[2],主要通
過顯式狀態搜索或隱式不動點計算來驗證系統的有窮狀態和命題性質。模型檢驗在硬件設計領域的應用已經比較成熟,在軟件安全靜態分析上的應用也有研究人員進行了一些有意義的探索,如基于進程演算的模型檢驗方法[3]、基于程序時序邏輯的模型檢驗方法[4]等等。
軟件安全靜態分析的難點在于如何定義程序的安全屬性以及如何制定對源代碼的約束
條件。為了能夠更好的描述程序的安全屬性并運用某種形式化的方法對其進行驗證,本文基于自動機的相關理論,通過將軟件的源代碼和安全屬性分別建模為相應的自動機模型,探討了一種檢測軟件安全的模型檢驗方法。
下載該資料的人也在下載 下載該資料的人還在閱讀
更多 >

評論

查看更多

下載排行

本周

  1. 1電子電路原理第七版PDF電子教材免費下載
  2. 0.00 MB  |  1490次下載  |  免費
  3. 2單片機典型實例介紹
  4. 18.19 MB  |  93次下載  |  1 積分
  5. 3S7-200PLC編程實例詳細資料
  6. 1.17 MB  |  27次下載  |  1 積分
  7. 4筆記本電腦主板的元件識別和講解說明
  8. 4.28 MB  |  18次下載  |  4 積分
  9. 5開關電源原理及各功能電路詳解
  10. 0.38 MB  |  11次下載  |  免費
  11. 6100W短波放大電路圖
  12. 0.05 MB  |  4次下載  |  3 積分
  13. 7基于AT89C2051/4051單片機編程器的實驗
  14. 0.11 MB  |  4次下載  |  免費
  15. 8基于單片機的紅外風扇遙控
  16. 0.23 MB  |  3次下載  |  免費

本月

  1. 1OrCAD10.5下載OrCAD10.5中文版軟件
  2. 0.00 MB  |  234313次下載  |  免費
  3. 2PADS 9.0 2009最新版 -下載
  4. 0.00 MB  |  66304次下載  |  免費
  5. 3protel99下載protel99軟件下載(中文版)
  6. 0.00 MB  |  51209次下載  |  免費
  7. 4LabView 8.0 專業版下載 (3CD完整版)
  8. 0.00 MB  |  51043次下載  |  免費
  9. 5555集成電路應用800例(新編版)
  10. 0.00 MB  |  33562次下載  |  免費
  11. 6接口電路圖大全
  12. 未知  |  30320次下載  |  免費
  13. 7Multisim 10下載Multisim 10 中文版
  14. 0.00 MB  |  28588次下載  |  免費
  15. 8開關電源設計實例指南
  16. 未知  |  21539次下載  |  免費

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935053次下載  |  免費
  3. 2protel99se軟件下載(可英文版轉中文版)
  4. 78.1 MB  |  537791次下載  |  免費
  5. 3MATLAB 7.1 下載 (含軟件介紹)
  6. 未知  |  420026次下載  |  免費
  7. 4OrCAD10.5下載OrCAD10.5中文版軟件
  8. 0.00 MB  |  234313次下載  |  免費
  9. 5Altium DXP2002下載入口
  10. 未知  |  233046次下載  |  免費
  11. 6電路仿真軟件multisim 10.0免費下載
  12. 340992  |  191183次下載  |  免費
  13. 7十天學會AVR單片機與C語言視頻教程 下載
  14. 158M  |  183277次下載  |  免費
  15. 8proe5.0野火版下載(中文版免費下載)
  16. 未知  |  138039次下載  |  免費
主站蜘蛛池模板: 亚洲人成人77777在线播放| 性xxxx18公交车| 日本视频中文字幕一区二区 | 高清无码色大片中文| 国产超碰AV人人做人人爽| 国产精品人妻午夜福利| 狠狠狠狠狠狠干| 久久综合中文字幕佐佐木希| 美女被免费喷白浆视频| 清冷受被CAO的合不拢| 色欲天天天综合网免费| 亚洲 欧美 国产 综合 播放| 亚洲呦女专区| av色天堂2018在线观看| 国产成人精品男人的天堂网站| 国产人妻人伦精品久久无码 | 高H各种PLAY全肉NP| 国产人妻777人伦精品HD| 久久久视频2019午夜福利| 暖暖 日本 视频 在线观看免费 | aaa在线观看视频高清视频 | HEYZO精品无码一区二区三区| 大香网伊人久久综合网2020| 国产亚洲精品久久77777| 久青草国产在视频在线观看| 日日日操操操| 一本色道久久综合亚洲AV蜜桃| AV无码国产精品午夜A片麻豆| 国产高清视频青青青在线| 久久精品热在线观看30| 日本人作爰啪啪全过程| 亚洲幼女网| 床伴在线观看免费高清完整泰剧第四集 | 日韩精品AV一区二区三区| 亚洲国产区中文在线观看| 99久久精品免费看国产一区二区三区| 耻辱诊察室1一4集动漫在线观看| 簧片在线观看| 日本双渗透| 综合久久伊人| 国产精品亚洲国产三区|