ژورنال Security Policy Realization in an Extensible Operating System از انتشارات IEEE

چکیده مقاله انگلیسی :  We describe the practical application of security to extensible operating systems, focusing on the SPIN extensible OS. Because SPIN and other extensible operating systems support the loading of user-developed extensions directly into the kernel, they require the application of traditional user-level security in addition to kernel-level security, to prevent kernel extensions from subverting kernel functionality. In order to show that such an approach to extensible OS ...