On the security and safety of AbU systems (Q6045050): Difference between revisions

@@ Property / cites work @@
+On the Power of Attribute-Based Communication
@@ Property / cites work: On the Power of Attribute-Based Communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q5367043
@@ Property / cites work: Q5367043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+On flow-sensitive security types
@@ Property / cites work: On flow-sensitive security types / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying bounded subset-closed hyperproperties
@@ Property / cites work: Verifying bounded subset-closed hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for attribute-based memory updates
@@ Property / cites work: A calculus for attribute-based memory updates / rank @@
+Normal rank