多級安全數據庫測試技術研究與測試工具設計.pdf

1、隨著網絡信息技術的迅速發展和經濟與社會生活信息化程度的不斷提高,信息安全已成為信息化社會正常運轉的重要保障。數據庫系統作為信息系統的核心基礎之一,存儲了大量的系統與用戶信息,這些信息的泄露和篡改會導致整個系統的機密性和完整性受到破壞。因此,數據庫安全性對于整個信息系統的安全至關重要。為了提高數據庫管理系統的安全性,研究者提出了多級安全數據庫管理系統這一概念,并提出了一系列多級安全數據庫管理系統模型及技術實現。
　　 本文針對多級

2、安全數據庫管理系統(簡稱MLSDBMS)的測試技術進行了研究,在現有的MLSDBMS安全模型與技術的基礎上,對標記、強制訪問控制、安全審計和推理控制等安全功能的測試方法進行深入探討,提出了基于MAC模型解釋的動態測試方法、基于SQL擴展的數據庫管理系統安全審計功能測試接口和基于案例集的推理通道測試方法,并在此基礎上實現了多級安全數據庫管理系統安全功能的動態測試工具MulDBTaT。
　　 本文提出的基于MAC模型解釋的動態測試方

3、法包括模型解釋、語法解釋、測試執行和測試結果匯總四個部分。測試方法對MAC模型進行語法解釋與轉換,生成被測數據庫系統可執行的腳本文件,腳本文件由測試工具自動執行,最終對測試結果進行匯總。該方法與傳統的手工測試相比,既增加了測試過程的自動化程度,又提高了測試結果的客觀性和可重復性。
　　 多級安全數據庫管理系統的安全審計功能通常采用非標準的SQL實現,導致難以對數據庫管理系統的安全審計功能進行動態測試。為了解決這一問題,本文設計了

4、一種基于SQL擴展的數據庫管理系統安全審計功能測試接口,通過提供一種標準的安全審計日志查詢的SQL語言規范,為安全審計功能的動態查詢提供訪問接口支持。
　　 推理控制問題是多級安全數據庫管理系統設計的一個難題,推理形式的多樣性決定了無法使用一種通用的推理控制方法消除所有的推理通道,因此對多級安全數據庫管理系統的推理控制機制的測試也是較為困難的。本文提出了一組針對常用推理策略的測試實例集,通過使用這組測試實例,可以在一定程度上檢測

5、數據庫系統推理通道檢測與控制策略的有效性。
　　 在對測試方法進行研究的基礎上,本文設計實現了多級安全數據庫管理系統安全功能的動態測試工具MulDBTaT。該工具實現并集成了本文提出的測試方法,結合其他安全功能指標的測試腳本,可以對多級安全數據庫管理系統進行安全功能的動態測試,相比手工測試大大提高了測試工作效率。
　　 最后將提出的測試方法和測試工具應用于一例國產安全數據庫系統的檢測,并將測試結果與手工測試方法進行了驗證