A conditional constructive logic for access control and its sequent calculus

DOI10.1007/978-3-642-22119-4_14MaRDI QIDQ3010367zbMATH OpenOpenAlexDBLPWikidataFDO

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

Publication date 1 July 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22119-4_14

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Recommendations

• Logics in access control: a conditional approach
• Fibred security language
• A Modal Deconstruction of Access Control Logics
• Variations in Access Control Logic
• Modal access control logic. Axiomatization, semantics and FOL theorem proving

Cites work

• A Modal Deconstruction of Access Control Logics
• A sequent calculus and a theorem prover for standard conditional logics
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• Constructivism in mathematics. An introduction. Volume I
• Fibred security language
• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• Modal access control logic. Axiomatization, semantics and FOL theorem proving
• Proof analysis in modal logic
• Variations in Access Control Logic

Cited in

(9)

• Basic intuitionistic conditional logic
• Access control in a core calculus of dependency
• Logics in access control: a conditional approach
• Logic in Access Control (Tutorial Notes)
• Variations in Access Control Logic
• Adaptively applying modus ponens in conditional logics of normality
• Modal access control logic. Axiomatization, semantics and FOL theorem proving
• A Modal Deconstruction of Access Control Logics
• Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics

Describes a project that uses

Uses Software

• Binder

This page was built for publication: A conditional constructive logic for access control and its sequent calculus

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