Tableaux methods for access control in distributed systems
From MaRDI portal
Publication:4610331
Recommendations
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
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)