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

DOI10.1007/S11225-009-9203-4zbMath1181.03031OpenAlexW2103382760MaRDI QIDQ1037612

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

Publication date: 16 November 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/15876

zbMATH Keywords

securitylogicaccess controlfibring

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Combined logics (03B62)

Related Items (3)

A metamodel of access control for distributed environments: applications and properties ⋮ Principles Of Talmudic Logic ⋮ Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction

Cites Work

• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
• Fibred security language
• Flexible support for multiple access control policies
• Variations in Access Control Logic
• Protection in operating systems
• The next 700 programming languages

This page was built for publication: A meta-model of access control in a fibred security language