A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Theory of Noninterference for the π-Calculus
[chapter]
2005
Lecture Notes in Computer Science
We develop a theory of noninterference for a typed version of the πcalculus where types are used to assign secrecy levels to channels. We provide two equivalent characterizations of noninterference based on a typed behavioural equivalence relative to a security level σ, which captures the idea of external observers of level σ. The first characterization involves a universal quantification over all the possible active attacks, i.e., malicious processes which interact with the system possibly
doi:10.1007/11580850_2
fatcat:xlrmht6cqrfd7hzxvevhx3zzgu