Securing interaction between threads and the scheduler in the presence of synchronization

DOI10.1016/j.jlap.2008.09.003zbMath1187.68310OpenAlexW1982943110MaRDI QIDQ843217

Alejandro Russo, Andrei Sabelfeld

Publication date: 29 September 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2008.09.003

zbMATH Keywords

securitysynchronizationnoninterferencemultithreadinginformation flow

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of software (68N99)

Related Items

Scheduler-Independent Declassification

Uses Software

• Eraser
• Flow Caml
• Jif

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Type inference against races
• Noninterference for concurrent programs and thread systems
• Security for Multithreaded Programs Under Cooperative Scheduling
• An Axiomatic Approach to Information Flow in Programs
• Certification of programs for secure information flow
• Transforming out timing leaks
• A uniform type structure for secure information flow