Logics in access control: a conditional approach

DOI10.1093/LOGCOM/EXS040MaRDI QIDQ2937691zbMATH OpenOpenAlexWikidataFDO

Authors Valerio Genovese, Laura Giordano, V. Gliozzi, G. L. Pozzato

Publication date 12 January 2015

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/979408de861f4f84ec98554d9df52703d0a1e5ff

zbMATH Keywords

access controlconditional logicsproof methodssequent calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• A conditional constructive logic for access control and its sequent calculus
• A logic of access control
• A logic of access control
• Logic in Access Control (Tutorial Notes)
• A stratified first order logic approach for access control
• A Modal Deconstruction of Access Control Logics
• scientific article; zbMATH DE number 2090519

Cited in

(14)

• Basic intuitionistic conditional logic
• Intuitionistic conditional logics
• A conditional constructive logic for access control and its sequent calculus
• Logic in Access Control (Tutorial Notes)
• A Logic for State-Modifying Authorization Policies
• Variations in Access Control Logic
• Modal access control logic. Axiomatization, semantics and FOL theorem proving
• A Modal Deconstruction of Access Control Logics
• A logic of access control
• A logic of access control
• Permission to speak: a logic for access control and conformance
• A proof-theoretic view of basic intuitionistic conditional logic
• Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
• Algebra and logic for access control

This page was built for publication: Logics in access control: a conditional approach

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