A MICROKERNEL BASED SECURE OPERATING SYSTEM USING GENODE FRAMEWORK
B. Pruthiviraj, G. S. Madhusuthun, S. Vijayasarathy, K. Chakrapani, M. Tech · 2012
In a period when financial transactions have become substantially online, it is important from both se curity and functional perspective to have a secure and rob ust operating environment where these transactions can be performed. Although many operating systems can be configured to be reasonably secure, the problem behind the approach is in the design of the operati ng system. For example, most Linux distributions (including the acclaimed SELinux) execute a monolithic kernel approach, which essentially do not differentiate between the basic kernel operations a nd the operating system functionality built over th em. This work discusses the advantages of a microkernel based approach to Operating System Design as given by the Genode operating system framework, and proposes two test security applications ‐ a) An OTS Threat Management application which we build into the Genode framework; and b) A client-server based security application using the PolarSSL library, wh ich we build into the framework.