資料介紹
安全關(guān)鍵軟件設(shè)計使用的C/C++語言含有大量未定義行為,使用不當可能產(chǎn)生重大安全隱患。軟件靜態(tài)檢測是從軟件代碼和結(jié)構(gòu)中找出安全缺陷的重要手段。從安全規(guī)則的角度,提出了基于XML(eXtensible Markup Language)中間模型的靜態(tài)檢測方法。該方法將C/C++源代碼解釋為XML中間模型,將安全規(guī)則轉(zhuǎn)化為缺陷模式,利用Xquery查詢表達式對軟件安全缺陷進行定位。基于該方法的原型系統(tǒng)檢驗結(jié)果表明:該方法能夠有效地檢測出違反安全規(guī)則的軟件缺陷,并具有安全規(guī)則可定制的特點。
- 基于Bagging-SVM的Android惡意軟件檢測模型 0次下載
- 基于數(shù)據(jù)特征的內(nèi)核惡意軟件檢測 0次下載
- 結(jié)合靜態(tài)分析與動態(tài)符號執(zhí)行的軟件漏洞檢測方法 6次下載
- 基于Dalvik指令的靜態(tài)檢測方法 7次下載
- 紫金橋軟件讀寫XML文件的方法 0次下載
- XML加密和簽名技術(shù)在信息安全中的研究與應(yīng)用_歐海蕉 0次下載
- 基于內(nèi)容的靜態(tài)語義概念視頻檢索方法研究_張聰 1次下載
- XML數(shù)據(jù)相似度研究 0次下載
- 基于XML的多方數(shù)據(jù)通信安全模型研究
- 對基于XML的分布式入侵檢測模型的研究
- 軟件安全性測試方法研究
- 基于模型檢驗的軟件安全靜態(tài)分析研究
- 電梯防墜安全器的自動檢測系統(tǒng)研究
- 軟件安全漏洞的靜態(tài)檢測技術(shù)
- XML數(shù)據(jù)分頁索引技術(shù)研究
- 集成芯片好壞檢測方法有哪些 1681次閱讀
- 軟件漏洞檢測場景中的深度學習模型實證研究 579次閱讀
- 工業(yè)產(chǎn)品表面缺陷檢測方法研究 864次閱讀
- 醫(yī)療器械軟件風險分析介紹 醫(yī)療設(shè)備軟件靜態(tài)和動態(tài)分析技巧 1850次閱讀
- 安全電子認證如何降低即時檢測的風險 494次閱讀
- 軟件功能安全 625次閱讀
- 靜態(tài)分析和動態(tài)分析的區(qū)別 5452次閱讀
- 靜態(tài)分析工具 2324次閱讀
- XML格式文件詳解 2292次閱讀
- RFID安全隱私保護的解決方案研究 4873次閱讀
- 圖像特征點檢測方法的原理解析 6884次閱讀
- 軟件測試的運行劃分:動態(tài)靜態(tài)測試的區(qū)別 1.6w次閱讀
- XML基礎(chǔ)——XML必須知道的入門知識 2085次閱讀
- PCB設(shè)計軟件allegro中靜態(tài)銅箔和動態(tài)銅箔的設(shè)計 1.6w次閱讀
- AD靜態(tài)參數(shù)和動態(tài)參數(shù)的測試方法介紹 1.4w次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1491次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 95次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于單片機和 SG3525的程控開關(guān)電源設(shè)計
- 0.23 MB | 4次下載 | 免費
- 8基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537793次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論
查看更多