Noninterference for concurrent programs

DOI10.1007/3-540-48224-5_32MaRDI QIDQ4535032zbMATH OpenFDO

Authors Gérard Boudol, Ilaria Castellani

Publication date 12 June 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2076/20760382

Mathematics Subject Classification ID

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

Recommendations

• Noninterference for concurrent programs and thread systems
• Typing noninterference for reactive programs
• Proving concurrent noninterference
• Compositional non-interference for concurrent programs via separation and framing
• Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference

Cited in

(14)

• Noninterference for concurrent programs and thread systems
• Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
• Compositional non-interference for concurrent programs via separation and framing
• Noninterference in a predicative polymorphic calculus for access control
• Fine-grained and coarse-grained reactive noninterference
• Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference
• From exponential to polynomial-time security typing via principal types
• Thread algebra for noninterference
• scientific article; zbMATH DE number 1330436 (Why is no real title available?)
• Checking interference with fractional permissions
• Proving concurrent noninterference
• Strong normalisation in the \(\pi\)-calculus
• Securing interaction between threads and the scheduler in the presence of synchronization
• Typing noninterference for reactive programs

This page was built for publication: Noninterference for concurrent programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535032)