Information flow safety in multiparty sessions (Q2971077): Difference between revisions

@@ Property / cites work @@
+Session Types for Access and Information Flow Control
+Normal rank
@@ Property / cites work @@
+Secure Enforcement for Global Process Specifications
+Normal rank
@@ Property / cites work @@
+Secure Information Flow as a Safety Property
@@ Property / cites work: Secure Information Flow as a Safety Property / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying persistent security properties
@@ Property / cites work: Verifying persistent security properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+Typing access control and secure information flow in sessions
+Normal rank