A logical framework for reasoning about access control models

Elisa Bertino, Barbara Catania, Elena Ferrari, Paolo Perlasca. A logical framework for reasoning about access control models. In SACMAT. pages 41-52, 2001. [doi]

Abstract

Abstract is missing.