Tableaux methods for access control in distributed systems
From MaRDI portal
Publication:4610331
DOI10.1007/BFB0027418zbMATH Open1412.68022OpenAlexW1588829598MaRDI QIDQ4610331FDOQ4610331
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
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)
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)