Virtual Security Kernel: A Component-Based OS Architecture for Self-Protection | IEEE Conference Publication | IEEE Xplore