- Entropy
- 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
- Exceptions and infinite loops
- Semaphores
- Cobegin/coend
- Soundness

- Execution-based flow mechanisms
- Fenton’s Data Mark Machine
- Variable classes

You can also obtain a PDF version of this. | Version of May 12, 2013 at 8:30PM |