Noninterference for concurrent programs and thread systems (Q1603688): Difference between revisions

@@ Property / describes a project that uses @@
+JFlow
@@ Property / describes a project that uses: JFlow / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Secrecy by typing in security protocols
@@ Property / cites work: Secrecy by typing in security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming out timing leaks
@@ Property / cites work: Transforming out timing leaks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499298
@@ Property / cites work: Q4499298 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535032
@@ Property / cites work: Q4535032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754157
@@ Property / cites work: Q2754157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754161
@@ Property / cites work: Q2754161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518881
@@ Property / cites work: Q4518881 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Information flow inference for free
@@ Property / cites work: Information flow inference for free / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1603688