Key points are not available for this paper at this time.
Access control models provide a formalism and framework for specifying control over access to information and other resources in multi-user computer systems. Useful access control models must balance expressive power with the decidability and complex
Ammann et al. (Thu,) studied this question.