多級(jí)安全數(shù)據(jù)庫測(cè)試技術(shù)研究與測(cè)試工具設(shè)計(jì).pdf

1、隨著網(wǎng)絡(luò)信息技術(shù)的迅速發(fā)展和經(jīng)濟(jì)與社會(huì)生活信息化程度的不斷提高,信息安全已成為信息化社會(huì)正常運(yùn)轉(zhuǎn)的重要保障。數(shù)據(jù)庫系統(tǒng)作為信息系統(tǒng)的核心基礎(chǔ)之一,存儲(chǔ)了大量的系統(tǒng)與用戶信息,這些信息的泄露和篡改會(huì)導(dǎo)致整個(gè)系統(tǒng)的機(jī)密性和完整性受到破壞。因此,數(shù)據(jù)庫安全性對(duì)于整個(gè)信息系統(tǒng)的安全至關(guān)重要。為了提高數(shù)據(jù)庫管理系統(tǒng)的安全性,研究者提出了多級(jí)安全數(shù)據(jù)庫管理系統(tǒng)這一概念,并提出了一系列多級(jí)安全數(shù)據(jù)庫管理系統(tǒng)模型及技術(shù)實(shí)現(xiàn)。
　　 本文針對(duì)多級(jí)

2、安全數(shù)據(jù)庫管理系統(tǒng)(簡(jiǎn)稱MLSDBMS)的測(cè)試技術(shù)進(jìn)行了研究,在現(xiàn)有的MLSDBMS安全模型與技術(shù)的基礎(chǔ)上,對(duì)標(biāo)記、強(qiáng)制訪問控制、安全審計(jì)和推理控制等安全功能的測(cè)試方法進(jìn)行深入探討,提出了基于MAC模型解釋的動(dòng)態(tài)測(cè)試方法、基于SQL擴(kuò)展的數(shù)據(jù)庫管理系統(tǒng)安全審計(jì)功能測(cè)試接口和基于案例集的推理通道測(cè)試方法,并在此基礎(chǔ)上實(shí)現(xiàn)了多級(jí)安全數(shù)據(jù)庫管理系統(tǒng)安全功能的動(dòng)態(tài)測(cè)試工具M(jìn)ulDBTaT。
　　 本文提出的基于MAC模型解釋的動(dòng)態(tài)測(cè)試方

3、法包括模型解釋、語法解釋、測(cè)試執(zhí)行和測(cè)試結(jié)果匯總四個(gè)部分。測(cè)試方法對(duì)MAC模型進(jìn)行語法解釋與轉(zhuǎn)換,生成被測(cè)數(shù)據(jù)庫系統(tǒng)可執(zhí)行的腳本文件,腳本文件由測(cè)試工具自動(dòng)執(zhí)行,最終對(duì)測(cè)試結(jié)果進(jìn)行匯總。該方法與傳統(tǒng)的手工測(cè)試相比,既增加了測(cè)試過程的自動(dòng)化程度,又提高了測(cè)試結(jié)果的客觀性和可重復(fù)性。
　　 多級(jí)安全數(shù)據(jù)庫管理系統(tǒng)的安全審計(jì)功能通常采用非標(biāo)準(zhǔn)的SQL實(shí)現(xiàn),導(dǎo)致難以對(duì)數(shù)據(jù)庫管理系統(tǒng)的安全審計(jì)功能進(jìn)行動(dòng)態(tài)測(cè)試。為了解決這一問題,本文設(shè)計(jì)了

4、一種基于SQL擴(kuò)展的數(shù)據(jù)庫管理系統(tǒng)安全審計(jì)功能測(cè)試接口,通過提供一種標(biāo)準(zhǔn)的安全審計(jì)日志查詢的SQL語言規(guī)范,為安全審計(jì)功能的動(dòng)態(tài)查詢提供訪問接口支持。
　　 推理控制問題是多級(jí)安全數(shù)據(jù)庫管理系統(tǒng)設(shè)計(jì)的一個(gè)難題,推理形式的多樣性決定了無法使用一種通用的推理控制方法消除所有的推理通道,因此對(duì)多級(jí)安全數(shù)據(jù)庫管理系統(tǒng)的推理控制機(jī)制的測(cè)試也是較為困難的。本文提出了一組針對(duì)常用推理策略的測(cè)試實(shí)例集,通過使用這組測(cè)試實(shí)例,可以在一定程度上檢測(cè)

5、數(shù)據(jù)庫系統(tǒng)推理通道檢測(cè)與控制策略的有效性。
　　 在對(duì)測(cè)試方法進(jìn)行研究的基礎(chǔ)上,本文設(shè)計(jì)實(shí)現(xiàn)了多級(jí)安全數(shù)據(jù)庫管理系統(tǒng)安全功能的動(dòng)態(tài)測(cè)試工具M(jìn)ulDBTaT。該工具實(shí)現(xiàn)并集成了本文提出的測(cè)試方法,結(jié)合其他安全功能指標(biāo)的測(cè)試腳本,可以對(duì)多級(jí)安全數(shù)據(jù)庫管理系統(tǒng)進(jìn)行安全功能的動(dòng)態(tài)測(cè)試,相比手工測(cè)試大大提高了測(cè)試工作效率。
　　 最后將提出的測(cè)試方法和測(cè)試工具應(yīng)用于一例國(guó)產(chǎn)安全數(shù)據(jù)庫系統(tǒng)的檢測(cè),并將測(cè)試結(jié)果與手工測(cè)試方法進(jìn)行了驗(yàn)證