Compiled labelled deductive systems for access control

MaRDI QIDQ3007249zbMATH OpenFDO

Authors Alessandra Russo, Krysia Broda

Publication date 21 June 2011

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Logic in computer science (03B70) Distributed systems (68M14)

Recommendations

• A logic of access control
• A logic of access control
• Algebra and logic for access control
• scientific article; zbMATH DE number 1926635
• scientific article; zbMATH DE number 1790421

Cited in

(1)

• Tableaux methods for access control in distributed systems

This page was built for publication: Compiled labelled deductive systems for access control

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