Note on a simple type system for non-interference

Details Note on a simple type system for non-interference Note on a simple type system for non-interference

2011-09-22

arxiv.org/abs/1109.4843v1

Computer Science

Logic in Computer Science

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

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Note on a simple type system for non-interference does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Note on a simple type system for non-interference, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Note on a simple type system for non-interference will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-263390