Date Added: Apr 2010
Access control mechanisms are used to control which principals (Such as users or processes) have access to which resources based on access control policies. To ensure the correctness of access control policies, policy authors conduct policy verification to check whether certain properties are satisfied by a policy. However, these properties are often not written in practice. To facilitate property verification, this paper presents an approach that automatically mines likely properties from a policy via the technique of association rule mining.