Outline for May 10, 2013

1. Identity on the web
   1. Host identity
   2. State and cookies
   3. Anonymity
2. Entropy
3. Entropy-based analysis
   1. Flow of information from x to y
   2. Implicit flow of information
4. Non-lattice policies
   1. Transitivity
   2. Information flow policy
   3. Confinement flow model
5. Transitive non-lattice policies
   1. Quasi-ordered sets
6. Non-transitive policies
   1. Dual mappings
   2. Theorem: a dual mapping from a reflexive information flow policy into an ordered set is order-preserving