Noninterference for concurrent programs and thread systems
Saved in:
| Title: | Noninterference for concurrent programs and thread systems |
|---|---|
| Authors: | Boudol, Gérard gbo@sophia.inria.fr, Castellani, Ilaria1 |
| Source: | Theoretical Computer Science. Jun2002, Vol. 281 Issue 1/2, p109. 22p. |
| Subject Terms: | *COMPUTER science, *THREADS (Computer programs) |
| 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 noninterference still holds, while remaining in a nonprobabilistic setting. [Copyright &y& Elsevier] |
| Database: | Academic Search Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Be the first to leave a comment!