Scheduler-Independent Declassification

DOI10.1007/978-3-642-31113-0_4zbMath1358.68065OpenAlexW2186572398MaRDI QIDQ2908558

Matthias Perner, Alexander Lux, Heiko Mantel

Publication date: 5 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31113-0_4

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data encryption (aspects in computer science) (68P25)

Related Items (1)

Automated enforcement for relaxed information release with reference points

Cites Work

• Non-interference through determinism
• Securing interaction between threads and the scheduler in the presence of synchronization
• The Shadow Knows: Refinement of Ignorance in Sequential Programs
• Who Can Declassify?
• Paralocks
• Downgrading policies and relaxed noninterference
• Programming Languages and Systems
• Controlling the What and Where of Declassification in Language-Based Security
• Programming Languages and Systems

This page was built for publication: Scheduler-Independent Declassification