Automated enforcement for relaxed information release with reference points (Q1616187): Difference between revisions

@@ 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 @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Who Can Declassify?
@@ Property / cites work: Who Can Declassify? / rank @@
+Normal rank
@@ Property / cites work @@
+Design of secure operating systems with high security levels
+Normal rank
@@ Property / cites work @@
+A novel logic-based automatic approach to constructing compliant security policies
+Normal rank
@@ Property / cites work @@
+Downgrading policies and relaxed noninterference
@@ Property / cites work: Downgrading policies and relaxed noninterference / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling the What and Where of Declassification in Language-Based Security
+Normal rank
@@ Property / cites work @@
+A Policy Model for Secure Information Flow
@@ Property / cites work: A Policy Model for Secure Information Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduler-Independent Declassification
@@ Property / cites work: Scheduler-Independent Declassification / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic algorithmic verification of intransitive generalized noninterference
+Normal rank
@@ Property / cites work @@
+Weighted pushdown systems and their application to interprocedural dataflow analysis
+Normal rank