A meta-model of access control in a fibred security language

Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


The issue of representing access control requirements continues to demand significant attention. The focus of researchers has traditionally been on developing particular access control models and policy specification languages for particular applications. However, this approach has resulted in an unnecessary surfeit of models and languages. In contrast, we describe a general access control model and a logic-based specification language from which both existing and novel access control models may be derived as particular cases and from which several approaches can be developed for domain-specific applications. We will argue that our general framework has a number of specific attractions and an implication of our work is to encourage a methodological shift from a study of the particulars of access control to its generalities.

Original languageEnglish
Pages (from-to)437-477
Number of pages41
JournalStudia Logica
Issue number3
StatePublished - Aug 2009


  • Access Control
  • Fibring
  • Logic
  • Security


Dive into the research topics of 'A meta-model of access control in a fibred security language'. Together they form a unique fingerprint.

Cite this