Cyclic policy interdependency detection in automated trust negotiation
Zhiyu Ren · Journal of Computer Applications · 2012
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.