Type-Based Access Control in Data-Centric Systems (Q3000577): Difference between revisions

@@ Property / describes a project that uses @@
+Links
@@ Property / describes a project that uses: Links / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fable
@@ Property / describes a project that uses: Fable / 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-19718-5_8
+Normal rank
@@ Property / OpenAlex ID @@
+W1580968850
@@ Property / OpenAlex ID: W1580968850 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57652409
@@ Property / Wikidata QID: Q57652409 / 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 @@
+Semantic subtyping with an SMT solver
@@ Property / cites work: Semantic subtyping with an SMT solver / rank @@
+Normal rank
@@ Property / cites work @@
+Type-Based Access Control in Data-Centric Systems
@@ Property / cites work: Type-Based Access Control in Data-Centric Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Applications of Refinement Types
@@ Property / cites work: Principles and Applications of Refinement Types / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank