計(jì)算機(jī)安全狀態(tài)檢測(cè)系統(tǒng)框架的研究.pdf

1、在安全問(wèn)題日益突出、計(jì)算機(jī)安全威脅的種類(lèi)也突顯多樣化趨勢(shì)的背景下，單個(gè)特定領(lǐng)域的信息安全產(chǎn)品已無(wú)法很有效和全面的保護(hù)計(jì)算機(jī)和網(wǎng)絡(luò)。目前現(xiàn)有的計(jì)算機(jī)安全集成控制系統(tǒng)，基于可信網(wǎng)絡(luò)接入體系架構(gòu)標(biāo)準(zhǔn)，已經(jīng)大致上能整合各種安全領(lǐng)域內(nèi)的一些專(zhuān)用產(chǎn)品，但大多缺乏可靈活配置的體系架構(gòu)以及明確定義的規(guī)則引擎工作流模型，從而對(duì)計(jì)算機(jī)系統(tǒng)新威脅的分析、擴(kuò)展以及與其他更廣范圍安全產(chǎn)品的可兼容性受到了限制。因此，建立一個(gè)可配置的基于規(guī)則的計(jì)算機(jī)安全檢測(cè)系統(tǒng)框架

2、十分必要。
　　在此背景下，本文針對(duì)這些問(wèn)題提出并開(kāi)發(fā)了一個(gè)基于有窮自動(dòng)機(jī)的計(jì)算機(jī)安全狀態(tài)檢測(cè)系統(tǒng)框架，支持按需對(duì)計(jì)算機(jī)安全狀態(tài)檢測(cè)工作流的配置和定義，實(shí)現(xiàn)對(duì)計(jì)算機(jī)系統(tǒng)的安全狀態(tài)的判別，并隔離被認(rèn)為有安全威脅的計(jì)算機(jī)系統(tǒng)接入網(wǎng)絡(luò)的敏感區(qū)域，使系統(tǒng)具有良好的靈活性和兼容性。
　　首先，本文對(duì)計(jì)算機(jī)系統(tǒng)所面臨的各種風(fēng)險(xiǎn)進(jìn)行了詳細(xì)的分析，并將其進(jìn)行歸類(lèi)。從中選擇計(jì)算機(jī)安全狀態(tài)檢測(cè)系統(tǒng)框架可以涵蓋的部分風(fēng)險(xiǎn)作為框架設(shè)計(jì)的最初輸入。初

3、步定義了計(jì)算機(jī)安全狀態(tài)檢測(cè)系統(tǒng)框架所應(yīng)具有的基本特性，這些特性是后續(xù)進(jìn)行需求分析與設(shè)計(jì)的基礎(chǔ)。
　　然后，本文基于用例技術(shù)進(jìn)行了框架的需求分析，采用類(lèi)圖和順序圖對(duì)系統(tǒng)框架的用例實(shí)現(xiàn)進(jìn)行建模，并對(duì)類(lèi)的各個(gè)操作進(jìn)行了基于自動(dòng)機(jī)的形式化定義描述。在用例建模的過(guò)程中，結(jié)合了基于自動(dòng)機(jī)的形式化定義描述，使其相對(duì)于普通的用例模型更具有一致性以及無(wú)二義性。
　　接著，多維度地對(duì)計(jì)算機(jī)安全狀態(tài)檢測(cè)系統(tǒng)框架進(jìn)行設(shè)計(jì)，包括分層視圖、靜態(tài)邏輯視圖

4、、動(dòng)態(tài)邏輯視圖、進(jìn)程視圖和部署視圖。在計(jì)算機(jī)安全狀態(tài)檢測(cè)系統(tǒng)框架的設(shè)計(jì)過(guò)程中，考慮到框架的使用者應(yīng)是處在不同的網(wǎng)絡(luò)應(yīng)用環(huán)境中。所以計(jì)算機(jī)安全狀態(tài)檢測(cè)系統(tǒng)框架按照開(kāi)閉的設(shè)計(jì)原則，以主控與組件分離作為架構(gòu)風(fēng)格進(jìn)行設(shè)計(jì)。這樣便使框架在不同的網(wǎng)絡(luò)應(yīng)用環(huán)境中，基于框架使用者對(duì)應(yīng)用組件的各種實(shí)現(xiàn)使框架具有良好的兼容性和靈活性。另外，為了保持計(jì)算機(jī)安全狀態(tài)檢測(cè)系統(tǒng)框架數(shù)據(jù)的可讀性以及可遷移性，采用了XML格式的文件作為框架進(jìn)行數(shù)據(jù)存取的媒介。