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. ACM Trans. Inf. Syst. Secur., 6(1):71-127, 2003. [doi]

Abstract

Abstract is missing.