基于約束的XML推理控制研究.pdf

1、約束推理被用于獲取訪問受限的敏感信息時，就形成推理攻擊。在XML應(yīng)用領(lǐng)域，約束推理是推理攻擊中危害很大、破壞性很強但又非常隱蔽的一種安全攻擊手段，研究有效防范XML應(yīng)用領(lǐng)域約束推理引起敏感信息泄露的方法是迫切需要的。 在增強的BLP強制訪問控制模型的基礎(chǔ)上，改進XML細粒度訪問控制模型，設(shè)計了一個基于約束的XML細粒度的推理控制體系結(jié)構(gòu)。該體系結(jié)構(gòu)在改進的XML細粒度訪問控制模型的基礎(chǔ)上引入視圖機制，在視圖上進行敏感信息的約束推

2、理控制，最后形成不存在敏感信息約束推理的最大化發(fā)布文檔。 在該體系結(jié)構(gòu)中，正向推理形成的文檔推理閉包是進行敏感信息推理控制的基礎(chǔ)。對XML應(yīng)用域約束進行規(guī)范化和優(yōu)化，使得利用約束訪問和控制XML文檔成為可能；將敏感信息正式劃分為高安全級敏感信息和局部敏感信息，同時可以控制采用強制訪問策略和采用基于角色訪問控制策略的系統(tǒng)的敏感信息約束推理，設(shè)計了推理閉包和敏感信息集的構(gòu)造算法。 逆向推理是敏感信息約束推理控制實現(xiàn)的關(guān)鍵，通