Self-adaptation and secure information flow in multiparty communications (Q315296): Difference between revisions

@@ Property / cites work @@
+Multiple facets for dynamic information flow
@@ Property / cites work: Multiple facets for dynamic information flow / rank @@
+Normal rank
@@ Property / cites work @@
+Global progress for dynamically interleaved multiparty sessions
+Normal rank
@@ Property / cites work @@
+Monitoring networks through multiparty session types
+Normal rank
@@ Property / cites work @@
+Combining behavioural types with security analysis
+Normal rank
@@ Property / cites work @@
+Adaptable processes
@@ Property / cites work: Adaptable processes / rank @@
+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 @@
+Timed Multiparty Session Types
@@ Property / cites work: Timed Multiparty Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Typing access control and secure information flow in sessions
+Normal rank
@@ Property / cites work @@
+Information flow safety in multiparty sessions
@@ Property / cites work: Information flow safety in multiparty sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+A lattice model of secure information flow
@@ Property / cites work: A lattice model of secure information flow / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Asynchronous Session Types
@@ Property / cites work: Multiparty Asynchronous Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4964693
@@ Property / cites work: Q4964693 / rank @@
+Normal rank
@@ Property / cites work @@
+Secure Enforcement for Global Process Specifications
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Information flow inference for ML
@@ Property / cites work: Information flow inference for ML / rank @@
+Normal rank
@@ Property / cites work @@
+Tracking Information Flow in Dynamic Tree Structures
+Normal rank