SPLinux: An Information Flow Secure Linux | IEEE Conference Publication | IEEE Xplore