基于謂詞的訪問控制策略分析系統(tǒng)的研究.pdf

1、隨著Internet技術(shù)的不斷進(jìn)步，基于謂詞的訪問控制策略已經(jīng)引起了從事隱私保護(hù)和Internet應(yīng)用等研究人員的大量關(guān)注。基于謂詞的訪問控制策略非常靈活，其謂詞過濾器也可能非常復(fù)雜，這就給策略管理員帶來了很大的管理難度。為了保證基于謂詞的訪問控制策略在數(shù)據(jù)庫管理系統(tǒng)（Database Management System，DBMS）中合理地生效，對策略的有效性和策略間的沖突與冗余關(guān)系分析等問題進(jìn)行了分析與研究。
　　 給出了基于

2、謂詞的訪問控制策略模型以及基于該模型的策略有效性，有效策略和策略間沖突、冗余關(guān)系等相關(guān)定義。研究出策略分析的關(guān)鍵是對其過濾器謂詞的分析，并給出一種基于規(guī)范化謂詞的策略分析方法。通過對策略過濾器種類的分析，給出了規(guī)范化謂詞的定義，設(shè)計并實現(xiàn)了過濾器謂詞的規(guī)范化算法；通過生成輔助鏈表，解決了由于布爾運(yùn)算產(chǎn)生的傳遞性和對稱性問題。結(jié)合逆反謂詞和輔助鏈表的性質(zhì)，給出了策略有效性分析規(guī)則。以策略沖突為例，針對不同類型的過濾器謂詞，給出一系列沖突關(guān)