A Security Kernel for a Multiprocessor Microcomputer | IEEE Journals & Magazine | IEEE Xplore