Tableaux methods for access control in distributed systems

DOI10.1007/BFB0027418MaRDI QIDQ4610331zbMATH OpenOpenAlexFDO

Authors Fabio Massacci

Publication date 15 January 2019

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

Full work available at URL https://doi.org/10.1007/bfb0027418

zbMATH Keywords

modal logicaccess controlKripke modelaxiom schemaclosure phase

Mathematics Subject Classification ID

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

Recommendations

• Tableau methods for formal verification of multi-agent distributed systems
• A logic of access control
• Algebra and logic for access control
• A metamodel of access control for distributed environments: applications and properties
• Compiled labelled deductive systems for access control

Cites work

• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 4166932 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• A logic of authentication
• Converting non-classical matrix proofs into sequent-style systems
• Free variable tableaux for propositional modal logics
• Modal definability in enriched languages
• Proof methods for modal and intuitionistic logics
• Strongly analytic tableaux for normal modal logics
• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• The dynamic logic of permission
• Using the Universal Modality: Gains and Questions

Cited in

(1)

• A Tableau for Bundled CTL

This page was built for publication: Tableaux methods for access control in distributed systems

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