Fibred security language

DOI10.1007/S11225-009-9201-6MaRDI QIDQ1037607zbMATH OpenOpenAlexFDO

Authors Guido Boella, Dov Gabbay, Valerio Genovese, Leendert van der Torre

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) Combined logics (03B62) Logic in computer science (03B70)

Recommendations

• Language extensions for programmable security
• scientific article; zbMATH DE number 1832235
• A meta-model of access control in a fibred security language
• Foundations of Software Science and Computational Structures
• Formal language identity-based cryptography
• Publication:4940696
• A secrecy-preserving language for distributed and object-oriented systems

Cites work

• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• scientific article; zbMATH DE number 1954103 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• A Modal Deconstruction of Access Control Logics
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Variations in Access Control Logic

Cited in

(5)

• 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
• A logic of argumentation for specification and verification of abstract argumentation frameworks
• Variations in Access Control Logic

Describes a project that uses

Uses Software

• DKAL

This page was built for publication: Fibred security language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1037607)