Security Kernel Design and Implementation: An Introduction | IEEE Journals & Magazine | IEEE Xplore