Security for multithreaded programs under cooperative scheduling
From MaRDI portal
Publication:3401968
DOI10.1007/978-3-540-70881-0_43zbMATH Open1185.68230OpenAlexW1511116625MaRDI QIDQ3401968FDOQ3401968
Authors: Alejandro Russo, Andrei Sabelfeld 
Publication date: 2 February 2010
Published in: Perspectives of Systems Informatics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70881-0_43
Recommendations
- Securing interaction between threads and the scheduler in the presence of synchronization
- scientific article; zbMATH DE number 1330436
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
- Quantitative security analysis for multi-threaded programs
- Semantic models for the security of sequential and concurrent programs
Cited In (8)
- Securing interaction between threads and the scheduler in the presence of synchronization
- Multi-run Security
- Title not available (Why is that?)
- Information-flow control on ARM and POWER multicore processors
- Perspectives of System Informatics
- Quantitative security analysis for multi-threaded programs
- Securing the future -- an information flow analysis of a distributed OO language
- Run-time verification for observational determinism using dynamic program slicing
This page was built for publication: Security for multithreaded programs under cooperative scheduling
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3401968)
