Efficient and extensible security enforcement using dynamic data flow analysis
Secure Computer Systems: Mathematical Foundations