基于攻擊模式的系統(tǒng)漏洞檢測(cè)工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、隨著Internet重要性的不斷增長(zhǎng)，軟件產(chǎn)品對(duì)于安全性的需求也越來越高。安全軟件工程對(duì)構(gòu)建安全的軟件給出了一些方法和規(guī)范，需要搭建一個(gè)可擴(kuò)展的安全軟件集成開發(fā)環(huán)境，對(duì)軟件開發(fā)的各個(gè)階段提供安全支持。本文研究軟件系統(tǒng)設(shè)計(jì)和編碼階段系統(tǒng)漏洞檢測(cè)方法和工具。 本文將軟件進(jìn)行攻擊的過程抽象為攻擊模式，并針對(duì)攻擊模式的不同表示方式，對(duì)其建立了不同的系統(tǒng)漏洞檢測(cè)模型，分別用于進(jìn)行安全問題的檢查。構(gòu)建了一個(gè)攻擊模式庫(kù)，在存儲(chǔ)攻擊模式相關(guān)信息

2、的同時(shí)，可供用戶查看，編輯，以及普及安全知識(shí)。 設(shè)計(jì)并實(shí)現(xiàn)了分別在設(shè)計(jì)和編碼階段使用的系統(tǒng)漏洞檢測(cè)工具。該工具搭建在Eclipse環(huán)境之上，以Eclipse插件的形式存在。設(shè)計(jì)階段的檢測(cè)工具將攻擊模式用在一次攻擊中涉及到的系統(tǒng)部件的序列，即一個(gè)正則表達(dá)式來表示，并據(jù)此建立了攻擊模式的模型。然后將通過分析系統(tǒng)的類圖得到的系統(tǒng)各個(gè)模塊的信息與模型進(jìn)行比較，從而完成對(duì)系統(tǒng)類圖設(shè)計(jì)的安全性檢查。編碼階段的檢測(cè)工具則對(duì)有限狀態(tài)自動(dòng)機(jī)形式表