資料介紹
安全關(guān)鍵軟件設(shè)計使用的C/C++語言含有大量未定義行為,使用不當(dāng)可能產(chǎn)生重大安全隱患。軟件靜態(tài)檢測是從軟件代碼和結(jié)構(gòu)中找出安全缺陷的重要手段。從安全規(guī)則的角度,提出了基于XML(eXtensible Markup Language)中間模型的靜態(tài)檢測方法。該方法將C/C++源代碼解釋為XML中間模型,將安全規(guī)則轉(zhuǎn)化為缺陷模式,利用Xquery查詢表達(dá)式對軟件安全缺陷進(jìn)行定位?;谠摲椒ǖ脑拖到y(tǒng)檢驗結(jié)果表明:該方法能夠有效地檢測出違反安全規(guī)則的軟件缺陷,并具有安全規(guī)則可定制的特點。
- 基于Bagging-SVM的Android惡意軟件檢測模型 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ù)研究
- 基于XML安全的移動Web Services高效實現(xiàn)
- 集成芯片好壞檢測方法有哪些 3.7k次閱讀
- 軟件漏洞檢測場景中的深度學(xué)習(xí)模型實證研究 1.4k次閱讀
- 工業(yè)產(chǎn)品表面缺陷檢測方法研究 2.3k次閱讀
- 醫(yī)療器械軟件風(fēng)險分析介紹 醫(yī)療設(shè)備軟件靜態(tài)和動態(tài)分析技巧 3.3k次閱讀
- 安全電子認(rèn)證如何降低即時檢測的風(fēng)險 1.2k次閱讀
- 靜態(tài)分析和動態(tài)分析的區(qū)別 8.1k次閱讀
- 靜態(tài)分析工具 4k次閱讀
- XML格式文件詳解 5.3k次閱讀
- RFID安全隱私保護(hù)的解決方案研究 6k次閱讀
- 圖像特征點檢測方法的原理解析 7.9k次閱讀
- 軟件測試的運行劃分:動態(tài)靜態(tài)測試的區(qū)別 1.8w次閱讀
- XML基礎(chǔ)——XML必須知道的入門知識 2.7k次閱讀
- PCB設(shè)計軟件allegro中靜態(tài)銅箔和動態(tài)銅箔的設(shè)計 1.9w次閱讀
- AD靜態(tài)參數(shù)和動態(tài)參數(shù)的測試方法介紹 1.7w次閱讀
- 田洪川VS2005視頻教程:XML概述、概念、語法 1.8k次閱讀
下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費
- 2MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊
- 2.50 MB | 次下載 | 免費
- 524Pin Type-C連接器設(shè)計報告
- 1.06 MB | 次下載 | 免費
- 6新一代網(wǎng)絡(luò)可視化(NPB 2.0)
- 3.40 MB | 次下載 | 免費
- 7MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 MB | 次下載 | 免費
- 8MS1022高精度時間測量(TDC)電路數(shù)據(jù)手冊
- 1.81 MB | 次下載 | 免費
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App





創(chuàng)作
發(fā)文章
發(fā)帖
提問
發(fā)資料
發(fā)視頻
上傳資料賺積分
評論