Translating Security Policy to Executable Code for Sandboxing Linux Kernel | IEEE Conference Publication | IEEE Xplore