A framework for linear authorization logics (Q2449046): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / 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.1016/j.tcs.2014.02.018
+Normal rank
@@ Property / OpenAlex ID @@
+W2059292849
@@ Property / OpenAlex ID: W2059292849 / 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 @@
+Logic in Access Control (Tutorial Notes)
@@ Property / cites work: Logic in Access Control (Tutorial Notes) / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Relating state-based and process-based concurrency through linear logic (full-version)
+Normal rank
@@ Property / cites work @@
+Q4282602
@@ Property / cites work: Q4282602 / 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 @@
+A Linear Logic of Authorization and Knowledge
@@ Property / cites work: A Linear Logic of Authorization and Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded memory Dolev-Yao adversaries in collaborative systems
+Normal rank
@@ Property / cites work @@
+Q5111913
@@ Property / cites work: Q5111913 / rank @@
+Normal rank
@@ Property / cites work @@
+Collaborative planning with confidentiality
@@ Property / cites work: Collaborative planning with confidentiality / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and Polarization in Intuitionistic Logic
@@ Property / cites work: Focusing and Polarization in Intuitionistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A formal framework for specifying sequent calculus proof systems
+Normal rank
@@ Property / cites work @@
+From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+On the Complexity of Linear Authorization Logics
@@ Property / cites work: On the Complexity of Linear Authorization Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for proof systems
@@ Property / cites work: A framework for proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+A General Proof System for Modalities in Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+An extended framework for specifying and reasoning about proof systems
+Normal rank
@@ Property / cites work @@
+Specifying Proof Systems in Linear Logic with Subexponentials
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank