Attachments
- Secure information flow: definition, enforcement, and preservation through compilation
- Static Analysis for Security, B. Chess & G. McGraw, 2004.
- Language-Based Information-Flow Security, A. Sabelfeld & A. C. Myers, 2001.
- Semantics with Applications - A formal introduction, H. Nielson & F. Nielson, 1999.
- Lattice-based Access Control Models, R. Sandhu, 1993.