Logic in Access Control (Tutorial Notes) (Q3184786): Difference between revisions

@@ Property / describes a project that uses @@
+DKAL
@@ Property / describes a project that uses: DKAL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03829-7_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1862312605
@@ Property / OpenAlex ID: W1862312605 / rank @@
+Normal rank
@@ Property / cites work @@
+Access Control in a Core Calculus of Dependency
@@ Property / cites work: Access Control in a Core Calculus of Dependency / rank @@
+Normal rank
@@ Property / cites work @@
+Variations in Access Control Logic
@@ Property / cites work: Variations in Access Control Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Information Security
@@ Property / cites work: Information Security / rank @@
+Normal rank
@@ Property / cites work @@
+Computational types from a logical perspective
@@ Property / cites work: Computational types from a logical perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q3047570
@@ Property / cites work: Q3047570 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Access Control
@@ Property / cites work: A Logic of Access Control / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Deconstruction of Access Control Logics
@@ Property / cites work: A Modal Deconstruction of Access Control Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Naming and Identity in Epistemic Logics Part I: The Propositional Case
+Normal rank
@@ Property / cites work @@
+Protection in operating systems
@@ Property / cites work: Protection in operating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+AURA
@@ Property / cites work: AURA / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415096
@@ Property / cites work: Q4415096 / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond proof-of-compliance: security analysis in trust management
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+A Certified Distributed Security Logic for Authorizing Code
+Normal rank