基于图论的一致性验证算法.pdf

32 21 2006 11 Vol.32 No.21 Computer Engineering November 2006 ·· 2006 A TP391 ( 710071) PolicyMaker A Graphic-based Theory Proof of Compliance Algorithm RAO Yixuan, YANG Bo (Key Lab of Computer Network and Information Security, Ministry of Education, Xi’an 710071) AbstractThe paper puts forward a new proof of compliance algorithm in PolicyMaker, the algorithm applies graphic theory’s DFS notion and the dynamic character, in the face of withdrawing the delegation, deletes the delegation side, then newly searches, finds other chain discovery until the end. It solves the negative credentials, compared with the time and space complicated degree of the original arithmetic, the algorithm is more simple and shortcut. Key wordsTrust management; Negative credential; Graphic Internet R S ij i r R ij f R i ij Web r Web M.Blaze Internet 2