Security Enhanced Java: Mandatory Access Control for the Java Virtual Machine | IEEE Conference Publication | IEEE Xplore