Die Nachfrage nach hochsicheren Computersystemen, die verschieden eingestufte Daten strikt getrennt halten können, um so unerlaubten Datenaustausch zwischen einzelnen Sicherheitsdomänen zu verhindern, wächst ständig. Im sehr anspruchsvollen Regierungs- und Verteidigungsumfeld werden zunehmend stärkere Nachweise der Korrektheit und Sicherheit der eingesetzten IT-Produkte gefordert. Ein komponentenbasiertes Design ermöglicht den exakten Nachweis von wesentlichen Sicherheitseigenschaften. Die langjährige Erfahrung von NICTA kann dazu beitragen, den Prozess der formalen Verifikation kritischer Komponenten von secunets Produkten zu beschleunigen.
„secunet ist ein etabliertes Unternehmen im Bereich IT-Sicherheit, das über modernste Technologie verfügt, die von unserer Verifikationsmethodik profitieren kann. Die Partnerschaft wird uns bei unseren Forschungsaktivitäten voranbringen und dazu beitragen unsere Ergebnisse in kommerziellen Produkten zum Einsatz zu bringen“, so Prof. Gernot Heiser, Leiter der NICTA-Forschungsgruppe für Softwaresysteme.
Dr. Kai Martius, Geschäftsbereichsleiter Hochsicherheit bei secunet, kommentierte die Partnerschaft wie folgt: „secunet verfügt über langjährige Erfahrungen bei der Konzeption von Hochsicherheits-Systemen. Die Aktivitäten von NICTA bei der Betriebssystemforschung und der Entwicklung formaler Methoden werden von uns seit langem mit großem Interesse verfolgt. Wir sind überzeugt, dass die nächste Generation von Hochsicherheitssystemen in besonderem Maße auf Separationstechnologien und dem effizienten Einsatz formaler Methoden aufbauen wird, um Evaluierungen zu unterstützen und die Vertrauenswürdigkeit zu erhöhen. Wir wissen die Zusammenarbeit mit NICTA sehr zu schätzen.“
News
NICTA und secunet vereinbaren Zusammenarbeit bei der Entwicklung hochsicherer IT-Produkte
[Essen, 8. Juni 2011] Die australische NICTA, Kompetenzzentrum für Informations- und Kommunikationstechnologie, und der deutsche Spezialist für IT-Sicherheit secunet haben eine strategische Partnerschaft zur Entwicklung hochsicherer IT-Produkte für den Einsatz in Verteidigungs- und Sicherheitsorganisationen sowie in Behörden vereinbart. Die Zusammenarbeit wird die Erfahrungen von secunet in der Entwicklung und Herstellung von Hochsicherheitsgeräten mit der Expertise von NICTA auf dem Gebiet der formalen Verifikation und sicheren Mikrokernel-Technologie kombinieren.