Eads Secure Networks

Airbus Ds Sas

Nicolas Clermont

Guillaume Meier

Francis Hauguet

Marc Chaland

A gateway server includes a first subsystem including a media level, a communication level and a control level; a microkernel; an IPC controller configured to manage communication between the server resources allocated to the first subsystem a second subsystem including a second media level, a second communication level and a second control level such that the microkernel and the IPC controller also manage communication between the server resources allocated to the second subsystem; and a memory with shared reading and writing, established under the control of the microkernel and the IPC controller, between the control level of the first subsystem and the control level of the second subsystem.

Microkernel gateway server

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:&#x2014;intercepting any communication between a means external to the operating system and the operating system,&#x2014;verifying that predefined rules of access to said external means are validated by said communication;&#x2014;transmitting the communication to the recipient if the rules are validated.

Growing community of inventors

Villejuif, France

Nicolas Clermont