CPC G06F 21/53 (2013.01) [G06F 9/546 (2013.01); G06F 2221/034 (2013.01)] | 21 Claims |
1. A method for building a security monitor, the method comprising:
identifying one or more objects of a microkernel Operating System (OS) participating in the transmission of an inter-process communication (IPC) message, wherein the one or more OS objects comprise at least one or more processes or one or more applications executed by the microkernel OS;
selecting, from a security policy database, one or more security policies associated with the identified microkernel OS objects;
configuring a policy verification module based on the selected security policies to generate a decision related to controlling the transmission of the IPC message; and
generating, using the configured policy verification module, a security monitor to control the transmission of the IPC message based on the decision generated by the policy verification module, wherein the security monitor is implemented as a component of the microkernel OS.
|