自动信任协商中环策略依赖检测技术

Cyclic policy interdependency detection in automated trust negotiation

针对自动信任协商(ATN)可能出现协商过程无限循环的问题,对循环产生的原因进行了分析并设计相应的检测算法以及时发现并终止协商循环。协商双方策略间的依赖关系存在环是无限循环协商产生的原因,将策略间的依赖关系建模成简单图并证明了模型的正确性;分析简单图的可达矩阵计算过程并给出简单图环检测定理,基于该定理设计检测算法对环策略依赖进行检测。最后,通过实例验证了算法的可行性。

For Automated Trust Negotiation（ATN） consultative process may encounter the infinite cycling problem,the causes of the cycle were analyzed and the corresponding detection algorithm was designed to find and terminate the negotiation cycle.Interdependency relationships among policies in ATN were modeled as simple graph and the model＇s correctness was proved.The process of calculating simple grahp＇s reachability matrix was analyzed and cycle detection theorem was given.The algorithm of detecting cyclic policy interdependency was designed according to the theorem.Finally,a case study verifies the feasibility of the algorithm.