Handbook of logic in artificial intelligence and logic programming (vol. 3)
| Hi-index | 0.00 |
Establishing formal models of security policies to control and restrict the access to sensitive pieces of information is a very challenging problem with applications in many domains. Several formalisms have been proposed for the modeling of security policies. However, these formalisms are based on static access control policies and do not take into account the evolution of systems and of the security policies required of them. This paper proposes an approach for the revision of security policies. Policy revision refers here to addition or suppression of regulations.