DARPA: Matematyka lekarstwem na cyberbezpieczeństwo

DARPA, czyli Agencja Zaawansowanych Projektów Badawczych w Obszarze Obronności (Agency Defence Advanced Research Projects),amerykańska agencja rządowa zajmująca się rozwojem technologii wojskowej działająca w strukturach Departamentu Obrony USA.

Techniki opracowane przez firmę Rockwell Collins i jej partnerów w ramach programu HACMS (High Assurance Cyber ​​Military Systems) agencji DARPA, zapewnić mają odporność na cyberataki i wyeliminować ważne luki w zabezpieczeniach systemu.

Rockwell Collins, Inc. jest amerykańską międzynarodową firmą z siedzibą w Cedar Rapids, w stanie Iowa, oferującą systemy i usługi związane z lotniskiem i technologiami informatycznymi. Współpracuje ona z agencjami rządowymi i producentami samolotów.

W dzisiejszym świecie, silnie powiązane ze sobą platformy lądowe, powietrzne i morskie mogą stać się ofiarami cybernetycznego ataku. Program HACMS zapewniam wysoką pewność, że systemy te są odporne na atak cybernetyczny.

Czytaj też: Bezprecedensowy wyrok amerykańskiego sądu ws. rosyjskiego hakera

Zespół projektu HACMS firmy Rockwell Collins, w tym Galois, Data 61, HRL i Uniwersytet w Minnesocie, opracowały wspólnie technologię, aby osiągnąć wysoki poziom odporności na cyberprzestępczość. Technologia ta obejmuje modelowanie architektury i analizy, bezpieczne mikrojądro i automatyczne generowanie kodu aplikacji.

Technologie te zostały opisane w demonstracyjnej wersji programu HACMS w kwietniu br. w Sterling w stanie Wirginia. Pierwsze zastosowanie w ramach nowo przydzielonego kontraktu DARPA będzie dotyczyło technologii HACMS wspierających programy US Navy.