AESOP home


Note on a simple type system for non-interference.

Steffen van Bakel, Maria Vigliotti

Conference or Workshop Paper
Nordic Workshop on Programming Theory (NWPT'07), Oslo, October 10-12, 2007.

We consider CCS with value passing and elaborate a notion of noninterference for the process calculi, which matches closely that of the programming language. The idea is to view channels as information carriers rather than as "events", so that emitting a secret on output channel can considered safe, while inputting a secret may lead to some kind of leakage. This is in contrast with the standard notion of noninterference for the process calculi where any causal dependency of low-level action from any high-level action is forbidden.

PDF of full publication (149 kilobytes)
(need help viewing PDF files?)

Information from