Security for multithreaded programs under cooperative scheduling

DOI10.1007/978-3-540-70881-0_43MaRDI QIDQ3401968zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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
• scientific article; zbMATH DE number 2080841 (Why is no real title available?)
• 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)