A Meta-model of Access Control in a Fibred Security Language

Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese. A Meta-model of Access Control in a Fibred Security Language. Studia Logica, 92(3):437-477, 2009. [doi]

Abstract

Abstract is missing.