多級安全數據模型在事務處理機制中的應用研究.pdf

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

2、決了多實例等問題，但也帶來了安全隱患。在MLR模型的數據借用操作中，低安全級用戶的刪除操作和主鍵更新操作間接導致低安全級用戶修改高安全級用戶的視圖。
　　 本文針對MLR模型中低安全級用戶上寫權力過大的問題，提出一種改進的安全模型--E-MLR模型。E-MLR模型通過修改低安全級用戶的刪除操作和主鍵更新操作，利用數據庫緩沖池將低安全級用戶刪除的低級元組以及被間接刪除的高等級元組存入一個臨時表中。同時維護一個元組借用指向關系表，該

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