Policy framings for access control
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari · 2005
A new model for access control is proposed, based on policy framings embedded into histories of execution. This allows for policies that have a possibly nested, local scope. In spite of the increased expressive power of our model, we present a way to use standard model checking for history verification.