基于推理的訪問控制與審計技術(shù)研究.pdf

1、Y95五896後旦大學博士學位論文學校代碼：10246學號：031021055基于推理的訪問控制與審計技術(shù)研究院系：專業(yè)：姓名：指導教師：完成日期：計算機與信息技術(shù)系計算機軟件與理論嚴和平施伯樂教授2006年4月10日摘要摘要立在此基礎(chǔ)之上的。論文闡述了對多級安全數(shù)據(jù)庫的推理控制技術(shù)的研究。文章對查詢階段檢測和清除推理通道的推理控制算法進行了討論，將信息推理訪問控制的粒度提高到元素級。基于數(shù)據(jù)中最常規(guī)的數(shù)據(jù)約束一函數(shù)依賴和多值依賴，給出

2、了這種最細粒度的推理控制方法、算法、并對算法的安全性進行了分析。為進一步防范多用戶合謀給安全數(shù)據(jù)庫所帶來的安全隱患，提出了一種基于視圖的等價類劃分算法，從理論上證明了這種方法的正確性。并用實例表明了這種方法的安全性和可行性、有效性。這些推理訪問控制措施有效提高了數(shù)據(jù)的可用性。論文闡述了對基于推理的安全數(shù)據(jù)庫審計框架的研究。文章對已有的審計方法進行了討論，指出了常規(guī)的審計方法中所存在的不足，即不能對以間接方式訪問數(shù)據(jù)庫的查詢進行審計。給出

3、了具有推理能力的審計框架，該審計框架具有MVD推理審計能力、FFD推理審計能力、FD推理審計能力。并給出了與之相對應(yīng)的推理審計算法和查詢圖模型(QGM)，文中的實例說明了該審計框架的可行性。這種將部分推理訪問控制的措施放在審計系統(tǒng)的做法能有效地提高數(shù)據(jù)的可用性，事后審計措施減輕了系統(tǒng)查詢改寫的負擔，提高了系統(tǒng)的實時處理查詢的能力。論文闡述了對半結(jié)構(gòu)化數(shù)據(jù)查詢進行審計和推理審計的研究工作。文章對已有的審計方法進行了討論，指出了常規(guī)的審計方

4、法中所存在的不足，即不能對半結(jié)構(gòu)化的查詢進行審計和推理審計。由于半結(jié)構(gòu)化的數(shù)據(jù)在存儲和查詢方面與以往的關(guān)系型數(shù)據(jù)的存儲和查詢有較大的不同，因此有必要對已有的審計方法進行研究，使之具有對新型數(shù)據(jù)查詢進行審計的能力。文章給出了與XML查詢相對應(yīng)的審計模型、審計算法和查詢圖模型，并給合容易導致敏感信息泄露的幾種典型XML約束，給出了推理審計的審計算法和查詢圖模型，并用實驗證實了審計和推理審計模型的可行性和有效性。論文給出了安全數(shù)據(jù)庫推理控制和