Controlling information release in the \(\pi\)-calculus (Q2643083): Difference between revisions

@@ Property / cites work @@
+The security pi-calculus and non-interference
@@ Property / cites work: The security pi-calculus and non-interference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518881
@@ Property / cites work: Q4518881 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform type structure for secure information flow
+Normal rank
@@ Property / cites work @@
+Typed behavioural equivalences for processes in the presence of subtyping
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying persistent security properties
@@ Property / cites work: Verifying persistent security properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411973
@@ Property / cites work: Q4411973 / rank @@
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Q2709234
@@ Property / cites work: Q2709234 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank