- Entropy-based analysis
- Flow of information from
*x*to*y* - Implicit flow of information

- Flow of information from
- Non-lattice policies
- Transitivity
- Information flow policy
- Confinement flow model

- Transitive non-lattice policies
- Quasi-ordered sets

- Non-transitive policies
- Dual mappings
- Theorem: a dual mapping from a reflexive information flow policy into an ordered set is order-preserving

- Compiler-based flow mechanisms
- Scalar declarations
- Array declarations
- Assignment statements
- Compound statements
- Conditional statements
- Iterative statements
- Goto statements
- Procedure calls

You can also obtain a PDF version of this. | Version of February 26, 2014 at 1:30PM |