Note on a simple type system for non-interference
Logic in Computer Science
2011-09-23 v1
Abstract
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 be 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.
Keywords
Cite
@article{arxiv.1109.4843,
title = {Note on a simple type system for non-interference},
author = {Steffen van Bakel and Maria Grazia Vigliotti},
journal= {arXiv preprint arXiv:1109.4843},
year = {2011}
}
Comments
Nordic Workshop on Programming Theory (NWPT'07), Oslo, October 10-12, 2007 Programming