多級(jí)安全數(shù)據(jù)模型在事務(wù)處理機(jī)制中的應(yīng)用研究.pdf

1、隨著數(shù)據(jù)庫(kù)技術(shù)的不斷發(fā)展和其在軍事、政府、金融等部門(mén)的廣泛應(yīng)用，數(shù)據(jù)庫(kù)的安全問(wèn)題越來(lái)越受到人們的高度重視。傳統(tǒng)數(shù)據(jù)庫(kù)系統(tǒng)提供的安全特性僅能夠滿足一般的應(yīng)用要求而無(wú)法滿足一些重要部門(mén)或敏感領(lǐng)域的應(yīng)用要求。安全數(shù)據(jù)庫(kù)系統(tǒng)對(duì)數(shù)據(jù)庫(kù)內(nèi)部進(jìn)行嚴(yán)格的訪問(wèn)控制，既保證數(shù)據(jù)庫(kù)用戶能獲取一般的信息，又致力于保證數(shù)據(jù)庫(kù)中的敏感信息不被未授權(quán)的用戶訪問(wèn)。
　　 在眾多安全數(shù)據(jù)模型中，MLR模型是非常成功的。MLR模型成功地引入了“數(shù)據(jù)借用”的概念，解

2、決了多實(shí)例等問(wèn)題，但也帶來(lái)了安全隱患。在MLR模型的數(shù)據(jù)借用操作中，低安全級(jí)用戶的刪除操作和主鍵更新操作間接導(dǎo)致低安全級(jí)用戶修改高安全級(jí)用戶的視圖。
　　 本文針對(duì)MLR模型中低安全級(jí)用戶上寫(xiě)權(quán)力過(guò)大的問(wèn)題，提出一種改進(jìn)的安全模型--E-MLR模型。E-MLR模型通過(guò)修改低安全級(jí)用戶的刪除操作和主鍵更新操作，利用數(shù)據(jù)庫(kù)緩沖池將低安全級(jí)用戶刪除的低級(jí)元組以及被間接刪除的高等級(jí)元組存入一個(gè)臨時(shí)表中。同時(shí)維護(hù)一個(gè)元組借用指向關(guān)系表，該

3、表存儲(chǔ)了高安全級(jí)元組借用低安全級(jí)元組的信息，以及高安全級(jí)元組是否由于低安全級(jí)用戶的刪除操作和主鍵更新操作而被間接刪除的信息。這樣，被低安全級(jí)用戶間接刪除的高安全級(jí)元組可以通過(guò)拷貝臨時(shí)表中保存的元組、同時(shí)執(zhí)行“實(shí)體等級(jí)提升”操作來(lái)恢復(fù)。從而解決了MLR模型中低級(jí)別用戶上寫(xiě)權(quán)力過(guò)大的安全隱患，保護(hù)了高級(jí)別數(shù)據(jù)的安全性。另外，對(duì)E-MLR模型的正確性、完備性和安全性進(jìn)行了形式化的證明。
　　 同時(shí)，對(duì)兩版本兩階段鎖機(jī)制(2V2PL)進(jìn)