Scheduler-Independent Declassification (Q2908558): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-31113-0_4
+Normal rank
@@ Property / OpenAlex ID @@
+W2186572398
@@ Property / OpenAlex ID: W2186572398 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Paralocks
@@ Property / cites work: Paralocks / rank @@
+Normal rank
@@ Property / cites work @@
+Downgrading policies and relaxed noninterference
@@ Property / cites work: Downgrading policies and relaxed noninterference / rank @@
+Normal rank
@@ Property / cites work @@
+Who Can Declassify?
@@ Property / cites work: Who Can Declassify? / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling the What and Where of Declassification in Language-Based Security
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Shadow Knows: Refinement of Ignorance in Sequential Programs
+Normal rank
@@ Property / cites work @@
+Non-interference through determinism
@@ Property / cites work: Non-interference through determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Securing interaction between threads and the scheduler in the presence of synchronization
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2908558