Specification and static enforcement of scheduler-independent noninterference in a middleweight Java

DOI10.1016/j.cl.2016.05.003zbMath1387.68050OpenAlexW2401336969MaRDI QIDQ1749145

Zeinab Iranmanesh, Mehran S. Fallah

Publication date: 15 May 2018

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2016.05.003

zbMATH Keywords

covert channelssecurity type systemsmultithreaded object-oriented programmingscheduler-independent noninterference

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (1)

Specification and static enforcement of scheduler-independent noninterference in a middleweight Java

Uses Software

• Featherweight Java
• JFlow
• MJ
• Welterweight Java

Cites Work

• Unnamed Item
• Noninterference for concurrent programs and thread systems
• Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
• Noninterfering Schedulers
• Stack-based access control and secure information flow
• Addressing covert termination and timing channels in concurrent information flow systems
• Transforming out timing leaks
• A Certified Lightweight Non-interference Java Bytecode Verifier

This page was built for publication: Specification and static enforcement of scheduler-independent noninterference in a middleweight Java