System and method for securing a computer comprising a microkernel
US8627069B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Apr 8, 2009 |
| Grant date | Jan 7, 2014 |
| Priority date | — |
| Expiry date | Sep 2, 2029 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2221/2141
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.