Integration of a security type system into a program logic (Q935469): Difference between revisions

@@ Property / cites work @@
+A semantic approach to secure information flow
@@ Property / cites work: A semantic approach to secure information flow / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536314
@@ Property / cites work: Q4536314 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809041
@@ Property / cites work: Q4809041 / rank @@
+Normal rank
@@ Property / cites work @@
+On flow-sensitive security types
@@ Property / cites work: On flow-sensitive security types / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771739
@@ Property / cites work: Q2771739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential, Parallel, and Quantified Updates of First-Order Structures
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatic Approach to Information Flow in Programs
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q4798025
@@ Property / cites work: Q4798025 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying persistent security properties
@@ Property / cites work: Verifying persistent security properties / rank @@
+Normal rank