"LynxSecure" für Verteidigungsforschungsprojekt ausgewählt

Das norwegische FFI setzt den Separation-Kernel und Embedded-Hypervisor für neues Hochsicherheits-Forschungsprojekt ein

(22.10.09) - LynuxWorks, Inc., Anbieterin von Embedded-Software, gab bekannt, dass das Forschungsinstitut des norwegischen Verteidigungsministeriums (FFI) für ein Forschungsvorhaben zur Verarbeitung von Verschlusssachen und zum Informationsfluss zwischen Sicherheitsdomänen den Separation-Kernel und Embedded-Hypervisor "LynxSecure" von LynuxWorks einsetzen wird. Das FFI entschied sich für LynxSecure aufgrund seiner besonderen Fähigkeit, Windows als voll virtualisiertes Gast-Betriebssystem in einer sicheren Partitionierung auf einem Intel x86-Prozessor auszuführen.

"Diverse militärische Szenarien erfordern High-Assurance-Systeme. Daher sind Produkte, die dem MILS-Standard entsprechen, die aussichtsreichsten Plattformen, um kritische Sicherheits-funktionen erfolgreich zu implementieren", weiß FFI-Projektmanager Anders Eggen. FFI wird LynxSecure einsetzen, um MILS-basierte Technologien zu evaluieren sowie für Forschungs- und Prototypisierungsprojekte nutzen, bei denen es um sicherheitsspezifische Herausforderungen bei der Umsetzung zukünftiger vernetzter Operationsführungen (Network Enabled Capability - NEC) geht.

"Mit LynxSecure steht dem FFI ein kompakter Separation-Kernel und Embedded-Hypervisor zur Verfügung, mit dem mehrere Anwendungen gemeinsam auf einem einzigen leistungsstarken Intel-Mehrkernprozessor ausgeführt werden können und dessen MILS-Architektur sich für höchste Sicherheitsstandards eignet", erklärt Hamid Mirab, Europa-Geschäftsführer bei LynuxWorks.

"LynxSecure 3.1" ist die aktuelle Version des Separation-Kernels und Embedded-Hypervisors von LynuxWorks für High-Assurance-Systeme. Mit dieser Software lassen sich voll virtualisierte Gast-Betriebssysteme gleichzeitig auf derselben Hardware als para-virtualisierte und Echtzeit-Betriebssysteme auszuführen, wobei jedes davon in seiner eigenen sicheren Partition läuft. Die Lösung unterstützt herkömmliche Desktop-Betriebssysteme wie voll virtualisiertes Windows und para-virtualisiertes Linux sowie hart echtzeitfähige Betriebssysteme wie die LynxOS-Familie von LynuxWorks. (LynuxWorks: ma)