Capability-based Component Security Mechanism for Microkernel OS | IEEE Conference Publication | IEEE Xplore