18
Koushik Datta NASA Ames Research Center Gano Chatterji Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan Wendt NASA Student Interns Cyber Physical Security (CPS) Extension to Air Traffic Management (ATM) Testbed 1 https://ntrs.nasa.gov/search.jsp?R=20190027166 2020-01-13T17:15:41+00:00Z

Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Koushik DattaNASA Ames Research Center

Gano ChatterjiCrown Consulting, Inc.

Daniel Zeng, Asif Mahmud and Nathan WendtNASA Student Interns

Cyber Physical Security (CPS) Extension toAir Traffic Management (ATM) Testbed

1

https://ntrs.nasa.gov/search.jsp?R=20190027166 2020-01-13T17:15:41+00:00Z

Page 2: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Outline

• The Problem• Motivation• Cyber Physical System Attack Avenues• ATM System Attack Examples• Study Approach• Emulation & Study Environment - NASA’s ATM Testbed• Cyber Physical System Attack Types• Attack Methods Developed• Attack Emulation Procedure

– Traffic Scenario Creation– Visualization of Simulated Traffic

• Future Work

2

Page 3: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

The Problem

Truck driver with GPS jammer accidentally jams Newark airportCNET, August 2013

“The cyber world of interconnected and interdependent systems has increased the vulnerability of aircraft and systems and therefore the potential impact that breaches in security can have.”Cyber Security in Civil Aviation, August 2012

At the Hack-In-The-Box conference in Amsterdam, security consultant Hugo Tesodemonstrated PlaneSploit, that he claims can take control of airplane systems and cause it to change direction or crash into the groundBloomberg, April 2013

Hackers ground 1,400 passengers at Warsaw in attack on airline's computersThe Guardian, June 2015

French fighter planes grounded by computer virusThe Telegraph, February 2009

Malware implicated in fatal Spanair plane crash. Computer monitoring system was infected with Trojan horse, authorities sayNBC News, August 2010

Researchers use GPS spoofing to hack into a flying droneBBC, June 2012

3

Page 4: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Motivation

4

We do not currently have a way to study the effects of cyber-attacks on future ATM concepts and decision support tools that are being developed by NASA and the FAA, and to support the development of detection and mitigation strategies in response to cyber-attacks

Page 5: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Cyber Physical System (CPS) Attack Avenues

5

OutputsInputs Information Processing

Normal CPS

Compromised CPS

T OutputsInputs TInformation ProcessingT

T CPS attack attempts to transform Inputs, processing and outputs

Page 6: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Example Attack 1: Fake Aircraft

ATC Display Reality

Fake aircraft that do not exist in reality appear on Air Traffic Control (ATC) display to overwhelm the air traffic controller

6

Page 7: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Example Attack 2: Invisible UAS

Two rogue UASs, shown in red, are flying undetected; they are not transmitting their position information to the UAS Service Supplier

Observed via Surveillance Reality

7

Page 8: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Example Attack 3: Incorrect State Reported on ATC Display

8

Position and heading of one aircraft reported incorrectly in ATC system to mask an impending conflict

No conflict on ATC Display Conflict in Reality

Page 9: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Study Approach

9

• Emulate attack scenarios in a modeling and simulation environment to explore Air Traffic Management (ATM) system cybersecurity vulnerabilities

• Develop methods for detecting and analyzing the impact on the ATM system based on emulated security events

• Develop mitigation strategies, including prevention, containment and recovery, for uninterrupted operation of the ATM system

Page 10: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Emulation & Analysis Environment – NASA’s ATM Testbed

• Platform-as-a-Service for creating, configuring and running real-time and fast-time simulations with large-scale simulators, mathematical models and operational systems

• Provides a service-oriented-architecture in which components are autonomous; they interact with each other via data exchange using message-oriented middleware

• Provides configuration driven automated simulation life cycle management including deployment, initialization, run, shutdown and data archival

• Provides user friendly utilities & tools– GUI-based tool for simulation configuration– Code generation widget to build adapters for connecting components to Testbed– Adapters for connecting legacy systems

10

Page 11: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Emulation & Analysis Environment – ATM Testbed Architecture

11

Message-Oriented Middleware

Component N

Component A

GovCloud

Test Bed Servicesfor Life Cycle Management

ATM Simulation

Test Bed Visualization Services

ATM Services

Conflict Detection

Trajectory Generator

ConflictResolution

SchedulerTraffic

GeneratorsStakeholder

Tools

High-fidelity SimulatorReal Aircraft

Page 12: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Cyber Physical Security (CPS) Attack Types

12

Attack Type ActionDenial of Service Overwhelming or removing valuesSpoofing Tampering with valuesExploiting Taking advantage of a vulnerabilityCounterfeiting Passing fake information as legitimateMan in the Middle Adversary intercepts and broadcasts own signal

Violating the Confidentiality, Integrity, and Availability of the System

Page 13: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Attack Methods Developed

13

Attack Method OutcomeFake flight creation • Stationary aircraft created at an airport

• Fake aircraft flying great-circle trajectory from origin to destination• Fake aircraft created within a sector with destination airports• Copies of actual flights flying with a random offset

Flight deletion • Flight data of actual flights removed with a probabilityFlight-plan change • Flight-plan altered by altitude change, origin destination swap, route

data shuffling, route reversal, and by waypoint addition and deletionSurveillance data attack

• Altered position, heading, speed or rate of climb• Drop data with a probability

Timestamp altered • Timestamp altered by shuffling, reversing, replaying, modifying anddropping

Page 14: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Cyber Security Attack Emulation Procedure

14

Create Traffic Scenario using Testbed Scenario Generation Capability

Run Simulation

Visualize Simulated Air Traffic using Testbed Viewer

Page 15: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Traffic Scenario Creation using ATM Testbed Scenario Generation Capability

15

• Attack scenario specified by selecting blocks implementing attack methods, and specifying attack method parameters

• Blocks dragged, dropped and connected for scenario configuration using Testbed Simulation-Architect tool

Page 16: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Simulated Air Traffic on Testbed Viewer

16

Page 17: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

Future Work

• Technical– Integrate scenario generation with simulation in the Testbed GUI-based Simulation-

Architect tool – Test with Multi-Aircraft Control System, which is used for Human-in-the-Loop evaluations– Emulate attacks by altering weather data once the Testbed Viewer supports weather

display

• General– Develop detection and mitigation strategies to counter the emulated attack scenarios– Develop metrics and criteria for evaluating resiliency and robustness of the solutions– Improve understanding of the ATM system vulnerabilities

17

Page 18: Cyber Physical Security (CPS) Extension to Air Traffic ... · Koushik Datta. NASA Ames Research Center. Gano Chatterji. Crown Consulting, Inc. Daniel Zeng, Asif Mahmud and Nathan

The Big Picture for Future Work

18

Measures ofRobustness, Resilience and Trustworthiness

FeedbackFeedback

• SystemsGPS

• Concepts• Architecture

ConOps

Individual System CPS Protections

CPS Attack Types

• Denial of Service• Spoofing• Exploiting• Counterfeiting• Man in the Middle• …

CPS Sims/Emulators

• Communication• Navigation• Surveillance• Air Traffic Control• Flight Services• Flight Control• Aircraft Health Monitoring

• …

ATM Effects

• SimulationATM TestbedHuman-in-the-loop