Fibred security language

DOI10.1007/s11225-009-9201-6zbMath1181.03033OpenAlexW2021560066MaRDI QIDQ1037607

Dov M. Gabbay, Valerio Genovese, Leendert van der Torre, Guido Boella

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/24938

zbMATH Keywords

logicaccess controltrust managementfibringlanguage-based security

Mathematics Subject Classification ID

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

Related Items (4)

A logic of argumentation for specification and verification of abstract argumentation frameworks ⋮ A Conditional Constructive Logic for Access Control and Its Sequent Calculus ⋮ Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction ⋮ A meta-model of access control in a fibred security language

Uses Software

• DKAL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Variations in Access Control Logic
• A Modal Deconstruction of Access Control Logics
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

This page was built for publication: Fibred security language