论文部分内容阅读
对自动信任协商中的策略一致性问题进行了研究．分析了策略不一致性问题产生的原因，将其分为策略语言所引起的策略不一致、角色互斥导致的策略不一致、内容冲突导致的策略不一致和策略描述错误造成的策略不一致4类．根据各类冲突的特征，引入数字逻辑中的0-1表和分划的概念，对访问控制策略进行策略一致性检查和策略有效性检查，保证了策略的一致性和有效性．在解决策略不一致问题的同时，给出了最小满足访问控制策略的策略集合．