電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
安全關(guān)鍵軟件設(shè)計(jì)使用的C/C++語言含有大量未定義行為，使用不當(dāng)可能產(chǎn)生重大安全隱患。軟件靜態(tài)檢測(cè)是從軟件代碼和結(jié)構(gòu)中找出安全缺陷的重要手段。從安全規(guī)則的角度，提出了基于XML（eXtensible Markup Language）中間模型的靜態(tài)檢測(cè)方法。該方法將C/C++源代碼解釋為XML中間模型，將安全規(guī)則轉(zhuǎn)化為缺陷模式，利用Xquery查詢表達(dá)式對(duì)軟件安全缺陷進(jìn)行定位?；谠摲椒ǖ脑拖到y(tǒng)檢驗(yàn)結(jié)果表明：該方法能夠有效地檢測(cè)出違反安全規(guī)則的軟件缺陷，并具有安全規(guī)則可定制的特點(diǎn)。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于Bagging-SVM的Android惡意軟件檢測(cè)模型 0次下載
- 基于數(shù)據(jù)特征的內(nèi)核惡意軟件檢測(cè) 0次下載
- 結(jié)合靜態(tài)分析與動(dòng)態(tài)符號(hào)執(zhí)行的軟件漏洞檢測(cè)方法 6次下載
- 基于Dalvik指令的靜態(tài)檢測(cè)方法 7次下載
- 紫金橋軟件讀寫XML文件的方法 0次下載
- XML加密和簽名技術(shù)在信息安全中的研究與應(yīng)用_歐海蕉 0次下載
- 基于內(nèi)容的靜態(tài)語義概念視頻檢索方法研究_張聰 1次下載
- XML數(shù)據(jù)相似度研究 0次下載
- 基于XML的多方數(shù)據(jù)通信安全模型研究
- 對(duì)基于XML的分布式入侵檢測(cè)模型的研究
- 軟件安全性測(cè)試方法研究
- 基于模型檢驗(yàn)的軟件安全靜態(tài)分析研究
- 電梯防墜安全器的自動(dòng)檢測(cè)系統(tǒng)研究
- 軟件安全漏洞的靜態(tài)檢測(cè)技術(shù)
- XML數(shù)據(jù)分頁索引技術(shù)研究
- 集成芯片好壞檢測(cè)方法有哪些 2151次閱讀
- 軟件漏洞檢測(cè)場(chǎng)景中的深度學(xué)習(xí)模型實(shí)證研究 724次閱讀
- 工業(yè)產(chǎn)品表面缺陷檢測(cè)方法研究 1094次閱讀
- 醫(yī)療器械軟件風(fēng)險(xiǎn)分析介紹 醫(yī)療設(shè)備軟件靜態(tài)和動(dòng)態(tài)分析技巧 2253次閱讀
- 安全電子認(rèn)證如何降低即時(shí)檢測(cè)的風(fēng)險(xiǎn) 685次閱讀
- 靜態(tài)分析和動(dòng)態(tài)分析的區(qū)別 6707次閱讀
- 靜態(tài)分析工具 2635次閱讀
- XML格式文件詳解 2807次閱讀
- RFID安全隱私保護(hù)的解決方案研究 5143次閱讀
- 圖像特征點(diǎn)檢測(cè)方法的原理解析 7108次閱讀
- 軟件測(cè)試的運(yùn)行劃分：動(dòng)態(tài)靜態(tài)測(cè)試的區(qū)別 1.6w次閱讀
- XML基礎(chǔ)——XML必須知道的入門知識(shí) 2229次閱讀
- PCB設(shè)計(jì)軟件allegro中靜態(tài)銅箔和動(dòng)態(tài)銅箔的設(shè)計(jì) 1.6w次閱讀
- AD靜態(tài)參數(shù)和動(dòng)態(tài)參數(shù)的測(cè)試方法介紹 1.5w次閱讀
- 田洪川VS2005視頻教程：XML概述、概念、語法 821次閱讀
上傳資料賺積分下載排行
本周
- 1人形機(jī)器人電機(jī)驅(qū)動(dòng)和傳感報(bào)告
- 4.27 MB | 9次下載 | 免費(fèi)
- 2Altium Designer元件庫
- 17.11 MB | 6次下載 | 免費(fèi)
- 324V2A開關(guān)電源PCB資料分享
- 0.23 MB | 4次下載 | 1 積分
- 4GD100PIX120C6SNA規(guī)格書
- 0.98 MB | 3次下載 | 免費(fèi)
- 5Multisim模擬電路仿真教程
- 1.93 MB | 1次下載 | 3 積分
- 6BK7258英文規(guī)格書
- 1.67 MB | 1次下載 | 免費(fèi)
- 7RA4L1硬件手冊(cè)
- 21.89 MB | 1次下載 | 免費(fèi)
- 8RA4L1_SENSOR-V1原理圖
- 754.36 KB | 1次下載 | 免費(fèi)
本月
- 1晶體三極管的電流放大作用詳細(xì)說明
- 0.77 MB | 32次下載 | 2 積分
- 2雙極型三極管放大電路的三種基本組態(tài)的學(xué)習(xí)課件免費(fèi)下載
- 4.03 MB | 25次下載 | 1 積分
- 3AIWA HS-J303 MKⅡ維修手冊(cè)
- 22.47 MB | 24次下載 | 10 積分
- 4九陽豆?jié){機(jī)高清原理圖
- 2.47 MB | 23次下載 | 1 積分
- 5多級(jí)放大電路的學(xué)習(xí)課件免費(fèi)下載
- 1.81 MB | 21次下載 | 2 積分
- 6AIWA HS-J202/HS-J202M/HS-J800維修手冊(cè)
- 13.60 MB | 16次下載 | 10 積分
- 71875功放原理圖
- 0.04 MB | 11次下載 | 免費(fèi)
- 8單電源板1875電路圖
- 0.06 MB | 11次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420063次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191382次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183338次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81586次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73814次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論