Securing Programs via Modeling and Efficient Enforcement of Access Control Policies

Applying access control is a well-known approach for securing programs. Access control policies can be modeled and then enforced into the existing program code. A major difficulty is to translate policy models into compatible format with the program code to be secured. In this paper, a new approach for automatic translation and enforcement of View-based access control policies into Java program text is presented.