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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129514000619
+Normal rank
@@ Property / OpenAlex ID @@
+W2106396972
@@ Property / OpenAlex ID: W2106396972 / rank @@
+Normal rank