Taint-enhanced policy enforcement: A practical approach to defeat a wide range of attacks
Secure Computer Systems: Mathematical Foundations