Abstract interpretation of operational semantics for secure information flow. (Q1853040): Difference between revisions

@@ Property / author @@
-Cinzia Bernardeschi
@@ Property / author: Cinzia Bernardeschi / rank @@
-Normal rank
@@ Property / author @@
+Cinzia Bernardeschi
@@ Property / author: Cinzia Bernardeschi / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatic Approach to Information Flow in Programs
+Normal rank
@@ Property / cites work @@
+Compile-time detection of information flow in sequential programs
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+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 @@
+Certification of programs for secure information flow
+Normal rank
@@ Property / cites work @@
+A security flow control algorithm and its denotational semantics correctness proof
+Normal rank
@@ Property / cites work @@
+Information flow inference for free
@@ Property / cites work: Information flow inference for free / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763665
@@ Property / cites work: Q2763665 / rank @@
+Normal rank