Hacking av fly. ISF Per Håkon Meland Seniorforsker SINTEF IKT, Systemutvikling og sikkerhet. Teknologi for et bedre samfunn

Størrelse: px

Begynne med side:

Download "Hacking av fly. ISF 2.9.2015 Per Håkon Meland Seniorforsker SINTEF IKT, Systemutvikling og sikkerhet. Teknologi for et bedre samfunn"

Petra Didriksen
7 år siden
Visninger:

1 Hacking av fly ISF Per Håkon Meland Seniorforsker SINTEF IKT, Systemutvikling og sikkerhet Teknologi for et bedre samfunn

2 ICAO Global Aviation Security Risk Picture PERSON-BORNE NON-CONVENTIONAL IMPROVISED EXPLOSIVE DEVICE (IED) Teknologi for et bedre samfunn

3 ICAO Global Aviation Security Risk Picture CARGO IMPROVISED EXPLOSIVE DEVICE Teknologi for et bedre samfunn

4 ICAO Global Aviation Security Risk Picture MANPADS Teknologi for et bedre samfunn

5 Teknologi for et bedre samfunn 5

6 Teknologi for et bedre samfunn 6

7 «Not possible?» 2009: US Transportation Department: 763 high risk vulnerabilities that could allow hackers access to administrative systems 2013: Special conditions modification request til FAA: Electronic System Security Protection From Unauthorized Internal Access - Boeing : Boeing Teknologi for et bedre samfunn 7

8 ensure that the security (i.e., confidentiality, integrity, and availability) of airplane systems is not compromised by unauthorized wired or wireless electronic connections. "The architecture and network configuration may allow the exploitation of network security vulnerabilities resulting in intentional or unintentional destruction, disruption, degradation, or exploitation of data, systems, and networks critical to the safety and maintenance of the airplane. add a network extension device to separate the various systems from each other Teknologi for et bedre samfunn 8

9 Teknologi for et bedre samfunn 9

10 Teknologi for et bedre samfunn 10

11 Single European Sky ATM Research Utviklingsfase: 2.1 Milliarder Euro Tredoble kapasiteten i luften i Europa Bedre sikkerheten med 10 gangen MÅL Redusere miljøskadene med 10% per flight Kutte ATM kostnader med 50% Teknologi for et bedre samfunn 11

12 Teknologi for et bedre samfunn

13 Defragmentering Teknologi for et bedre samfunn 13

14 System Wide Information Management (SWIM) Fra meldingsbasert informasjonsutveksling til et tjenesteorientert ATM internet Teknologi for et bedre samfunn 14

15 Legacy ATM og Flight ops tjenester Teknologi for et bedre samfunn 15

16 Situasjonen i dag Tale-basert ATC har ingen kommunikasjonssikkerhet! Credit: Air Canada "Readily monitored by anyone with cheaply available radios" "Transmitting on voice frequencies and masquerading as Air Traffic Controllers is possible with equipment available to most radio amateurs" ATC Controller Masquerade mitigated by "voice context" Teknologi for et bedre samfunn

17 "Good night Malaysian three seven zero " Teknologi for et bedre samfunn

18 Iris Precursor Smarter & Safer Skies Iris aims to make aviation safer with a new satellite-based air ground communication system for Air Traffic Management (ATM) Credits: ESA Teknologi for et bedre samfunn

19 Iris Precursor partnere Teknologi for et bedre samfunn

20 Inmarsat Aero Safety Services Classic Aero installed in 10,000+ aircraft SwiftBroadband currently undergoing trials for Oceanic safety services Iris programme extends capability for European Continental safety service Supports Single European Skies concept to harmonise European ATC and improve efficiency of flight operations Teknologi for et bedre samfunn

21 Iris Service Concept Iris Service Provider Inmarsat satellites Core Inmarsat Operations Service Level Agreement SwiftBroadband service Datalink Gateway Security Gateway IP Data Security Gateway Datalink Gateway Air Traffic Control Iris Ground Segment 21 Iris Air Segment Flight Deck Teknologi for et bedre samfunn

22 SINTEF sin rolle Utvikle et PKI-system for autentisering av fly/kontrolltårn og etablere symmetriske nøkler for meldingsutveksling Kartlegge satellittdekning for nordområdene Teknologi for et bedre 22 samfunn

23 PKI basics Teknologi for et bedre 23 samfunn

24 Noen av sikkerhetsutfordringene i luftfart 20 års levetid Potensielle angripere er ressurssterke Maks 30 minutters forsinkelse Mekanikere har «pølsefingre» Mange flyselskap (18353 per 31. august) Det finnes en del lugubre flyplasser Teknologi for et bedre 24 samfunn

25 Lagring av private nøkler smartkort Teknologi for et bedre 25 samfunn

26 Livsløpet til et Iris smartkort Initialisering Bruk Installasjon Personalisering Teknologi for et bedre 26 samfunn

27 Initialiseringsfase Forutsetter et trygt miljø 1. Installasjon av Iris applet 2. Installasjon av CA sertifikat 3. Pre-generering av nøkkelpar 4. Eksport av offentlige nøkler og serialnummer CA 5. Låsing av kort Teknologi for et bedre 27 samfunn

28 Installasjon Teknologi for et bedre 28 samfunn

29 Personaliseringfase 1. Flydata smartkort 2. Certificate Signing Request (CSR) blir generert og signert av privatnøkkel 3. CSR Airline Ops over SBB 4. Airline Ops PKI Ops 5. Offline CA signerer sertifikat 6. Sertifikat hentes over SBB 7. Verifiseres med CA-sertifikat på smartkort Teknologi for et bedre 29 samfunn

30 Bruksfasen Gjensidig autentisering gjennom signering av IKEv2 Auth messages Symmetriske nøkler for IPSec tunnel mellom luft og bakke Fly-fly-kommunikasjon ikke tillatt extended key usage X509 v3 Teknologi for et bedre 30 samfunn

31 Litt om lover og regulativer Sikkerhetskrav eksplisitt utelatt fra ATS Datalink Safety and Performance Requirements (ED-120, ED-228) Airworthiness Certification (EASA/FAA) - Segregation between cabin and operational communications Spesifikasjoner for bakkedel handler mye om styringssystem og klarering av personell (EU) No 1035/2011 Common Requirements for ANS Providers (EC) No 29/2009 Datalink Services Implementing Rule (DLS IR) Utvikling har vært i henhold til ED-12/DO-178 SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION, Software level D ED-109/DO-278 SOFTWARE INTEGRITY ASSURANCE CONSIDERATIONS FOR COMMUNICATION, NAVIGATION, SURVEILLANCE AND AIR TRAFFIC MANAGEMENT (CNS/ATM) SYSTEMS, Assurance level 5 Teknologi for et bedre 31 samfunn

32 Sikkerhetsnivå Smartkort sertifisert CC AEL5, FIPS For fly/smartkort: 256 bits ECC (~3072 bits RSA-nøkkel, god for 10 år) Bytter nøkkelpar minst hvert 3. år Opptil 128 nøkkelpar For CA: 384 bits ECC Bytter CA hvert 10. år maks levetid på smartkort 10 år Teknologi for et bedre 32 samfunn

33 Status og oppsummering PKI Subsystem FAT 3/9/2015 Integration FAT oktober Flight trials (Airbus A350) neste år Eskalering med Iris Ønsker større norsk deltagelse Teknologi for et bedre 33 samfunn

Like dokumenter

CYBER SECURITY AUTONOME SYSTEMER. Marie Moe, forskningsleder for Cyber Security,

CYBER SECURITY AUTONOME SYSTEMER Marie Moe, forskningsleder for Cyber Security, SINTEF Digital @MarieGMoe @SINTEF_Infosec 2 Noen av våre prosjekter 3 SoS-Agile Secure software development IRIS Evolution