Noninterference for Concurrent Programs and Thread Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2001

Noninterference for Concurrent Programs and Thread Systems

Ilaria Castellani
  • Function : Author
  • PersonId : 831542


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-4254.pdf (305.53 Ko) Télécharger le fichier

Dates and versions

inria-00072334 , version 1 (23-05-2006)


  • HAL Id : inria-00072334 , version 1


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


Gmail Facebook X LinkedIn More