Article contents
Noninterference through flow analysis
Published online by Cambridge University Press: 03 March 2005
Abstract
This paper proposes new syntactic inference rules which can directly extract information flow in a given typed process in the π-calculus. In the flow analysis, a flow in a process is captured as a chain of possible interactions which transform differences in behaviours from one part of its interface to another part of its interface. Polarity in types plays a fundamental role in the analysis, which is elucidated via examples. We show that this inductive flow analysis can be used for giving simple proofs of noninterference in the secrecy analyses for the π-calculus with linear/affine typing, including its concurrent, stateful extensions.
- Type
- Research Article
- Information
- Copyright
- 2005 Cambridge University Press
- 9
- Cited by
Discussions
No Discussions have been published for this article.