The security pi-calculus and non-interference (Q1772311): Difference between revisions

@@ Property / cites work @@
+Q2754157
@@ Property / cites work: Q2754157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed behavioural equivalences for processes in the presence of subtyping
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+A uniform type structure for secure information flow
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral equivalence in the polymorphic pi-calculus
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-interference through determinism
@@ Property / cites work: Non-interference through determinism / rank @@
+Normal rank