Tableaux methods for access control in distributed systems

DOI10.1007/BFB0027418zbMATH Open1412.68022OpenAlexW1588829598MaRDI QIDQ4610331FDOQ4610331

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

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

zbMATH Keywords

modal logicaccess controlKripke modelaxiom schemaclosure phase

Mathematics Subject Classification ID

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

Cites Work

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

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)