Security Enhanced Java: Mandatory Access Control for the Java Virtual Machine
Secure program execution via dynamic information flow tracking