Noninterference for concurrent programs and thread systems

被引：68

作者：

Boudol, G ^{[1
]}

Castellani, I ^{[1
]}

机构：

[1] INRIA Sophia Antipolis, F-06902 Sophia Antipolis, France

来源：

THEORETICAL COMPUTER SCIENCE | 2002年 / 281卷 / 1-2期

关键词：

D O I：

10.1016/S0304-3975(02)00010-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

页码：109 / 130

页数：22