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

@@ Property / DOI @@
-.1016/j.ic.2007.01.001
@@ Property / DOI: 10.1016/j.ic.2007.01.001 / rank @@
-Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.IC.2007.01.001
@@ Property / DOI: 10.1016/J.IC.2007.01.001 / rank @@
+Normal rank