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

@@ Property / DOI @@
-.1007/s11432-014-5168-7
@@ Property / DOI: 10.1007/s11432-014-5168-7 / rank @@
-Normal rank
@@ Property / author @@
-Jian-Feng Ma
@@ Property / author: Jian-Feng Ma / rank @@
-Normal rank
@@ Property / author @@
+Jian-Feng Ma
@@ Property / author: Jian-Feng Ma / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W264921623
@@ Property / OpenAlex ID: W264921623 / 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 @@
+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
@@ Property / DOI @@
+.1007/S11432-014-5168-7
@@ Property / DOI: 10.1007/S11432-014-5168-7 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1616187