Security Tagging for a Zero-Kernel Operating System | IEEE Conference Publication | IEEE Xplore