Skip to Main content Skip to Navigation

Noninterference for Concurrent Programs and Thread Systems

Gérard Boudol 1 Ilaria Castellani 
1 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : We propose a type system to ensure the property of noninterference in a system of concurrent programs, described in a standard imperative language enriched with parallelism. Our proposal is in the line of some recent work by Irvine, Volpano and Smith. Our type system seems more natural and less restrictive than that originally presented by these authors for the concurrent case. Moreover, we show how to extend the language in order to formalise scheduling policies for systems of sequential threads. The type system is extended to the new constructs, and we show that noninterferenc- e still holds, while remaining in a nonprobabilistic setting.
Document type :
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 8:25:30 PM
Last modification on : Friday, February 4, 2022 - 3:20:14 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:04:12 PM


  • HAL Id : inria-00072334, version 1


Gérard Boudol, Ilaria Castellani. Noninterference for Concurrent Programs and Thread Systems. RR-4254, INRIA. 2001. ⟨inria-00072334⟩



Record views


Files downloads