Loading patent…
AssigneeEADS Defence and Security Systems Limited
InventorsNicolas Clermont, Francis Hauguet, Guillaume Meier
Estimating the term…
A method of securing a computer comprising a microkernel and a system for interfacing with at least one virtualized operating system are presented. The microkernel includes a clock drive, a scheduler and an inter-process communication manager. The system for interfacing forms at least one virtual machine associated with each operating system and allows execution of the latter without modification. The method includes, at the level of the system for interfacing, the steps of:—intercepting any communication between a means external to the operating system and the operating system,—verifying that predefined rules of access to said external means are validated by said communication;—transmitting the communication to the recipient if the rules are validated.
Method of securing a computer comprising a microkernel and interface means with at least one virtualized operating system, said microkernel comprising a clock driver, a scheduler and an inter-process communication manager and said interface means forming at least one virtual machine associated with each operating system and enabling the running thereof without modification, wherein at the level of the interface means the method comprises:
Computer program product including program code instructions recorded on a computer-readable medium, when said program is running on a computer comprising a microkernel and interface means with at least one virtualized operating system, said microkernel comprising a clock driver, a scheduler and an inter-process communication manager and said interface means forming at least one virtual machine associated with each operating system and enabling the running thereof without modification, in order to implement the steps of a method of securing the computer, comprising at the level of the interface means the steps of:
System for securing a computer comprising a microkernel and interface means with at least one virtualized operating system, said microkernel comprising a clock driver, a scheduler and an inter-process communication manager and said interface means forming at least one virtual machine associated with each operating system and enabling the running thereof without modification, the interface means comprising mediators customized to intercept any communication between a means external to the operating system and the operating system and to transmit said communication to the recipient thereof only if predefined rules of access to said external means are validated by said communication.
Dependencies are inferred from the claim text.