Research of Security Analysis of ARBAC Policy Based on Intelligence Planning

Aimed at those access control system which support role hierarchy and static mutual exclusion roles (SMER), an intelligent method from intelligent planning, named Graphplan, was imported to perform the security analysis. A complete resolution for reachability problems was designed and presented, including a description model using planning language,the key conception virtual action which was put forward to express the inheritance relation between roles and the modeling steps and processes. The corresponding experiment system was developed and a case was illustrated the application of the analysis process. At last, a complexity result of the modeling process was presented.