di e-hellman acars ads-b acars: aircraft communication...

20
Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion Diffie-Hellman ACARS ADS-B ACARS: Aircraft Communication Addressing and Reporting System ADS-B: Automatic Dependent Surveillance-Broadcast 1 / 21 Wednesday 20 th March, 2019

Upload: others

Post on 25-Mar-2020

14 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Diffie-Hellman

ACARSADS-B

ACARS: Aircraft Communication Addressing and Reporting SystemADS-B: Automatic Dependent Surveillance-Broadcast

1 / 21 Wednesday 20th March, 2019

Page 2: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Evaluation of a wireless physical security method for flyingobjects based on the frequency selectivity of the propaga-tion channel

Adrian Exposito Garcıa, Hector Esteban Gonzalez, Lorenzo Rubio Arjona,Martin Kubisch, Dominic Schupke

[email protected], +498960728609

Wednesday 20th March, 2019

Page 3: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Contents

Introduction

Related Work

Physical Wireless Methods for Extended Security

Simulation Tools For Wireless Extended Security

Case of Study

Conclusion

2 / 21 Wednesday 20th March, 2019

Page 4: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

I High-Rate Uncorrelated Bit Extraction (HRUBE) [Patwari et al., 2010].

I [Ben Hamida et al., 2009] identifies weakness of existing key generationalgorithms.

I [Ye et al., 2010] uses Rayleigh and Rician models to generate richly scatteringenvironments.

3 / 21 Wednesday 20th March, 2019

Page 5: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Contents

Introduction

Related Work

Physical Wireless Methods for Extended Security

Simulation Tools For Wireless Extended Security

Case of Study

Conclusion

4 / 21 Wednesday 20th March, 2019

Page 6: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Assumptions taken

I Information reconciliation is part of system design, an important aspect in keygeneration, nevertheless, out of scope in this research. [Patwari et al., 2010]

I Synchronous measurements.

I Absence of noise:

|HAB [f ] | = |HBA [f ] |

I Eavesdropper agent is passive.

5 / 21 Wednesday 20th March, 2019

Page 7: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Robust Slice Algorithm

1. A or B is defined as the master node.

2. k[n] is calculated based on:

2.1 dbuff

2.2 dkey

2.3 |H [fn] |3. Non-used sampling frequencies are

shared from the master node.

4. Key is then generated on both sidesexcluding the non-used samplingfrequencies.

6 / 21 Wednesday 20th March, 2019

Page 8: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Contents

Introduction

Related Work

Physical Wireless Methods for Extended Security

Simulation Tools For Wireless Extended Security

Case of Study

Conclusion

7 / 21 Wednesday 20th March, 2019

Page 9: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Aircraft ModelAntenna Model

Elevation MapGround Characteristics

GPS Position Vector[lat, lon, alt]

Attidue Vector[Roll ,Pitch,Yaw ]

Speed Vector[Vx ,Vy ,Vz ]

Time[s]

Ch

ann

elS

imu

lato

r|H

[ωc]|

9 / 21 Wednesday 20th March, 2019

Page 10: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Contents

Introduction

Related Work

Physical Wireless Methods for Extended Security

Simulation Tools For Wireless Extended Security

Case of Study

Conclusion

10 / 21 Wednesday 20th March, 2019

Page 11: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Figure: Trajectory [C.Edinger and A.Schmitt, 2013]

11 / 21 Wednesday 20th March, 2019

Page 12: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Distance Generated Key Length of generated key

16 bit

15 bit

180 km

85 km

1.81 km 14 bit

1100011011000011

101100101011101

01111101000110

12 / 21 Wednesday 20th March, 2019

Page 13: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

D D

D

D

13 / 21 Wednesday 20th March, 2019

Page 14: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

15 / 21 Wednesday 20th March, 2019

Page 15: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

17 / 21 Wednesday 20th March, 2019

Page 16: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

Contents

Introduction

Related Work

Physical Wireless Methods for Extended Security

Simulation Tools For Wireless Extended Security

Case of Study

Conclusion

18 / 21 Wednesday 20th March, 2019

Page 17: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

I By means of simulation, it has been proven that:I An eavesdropper will generate the same key only at 0.01 m from A or B.I Channel possess sufficient randomness to generate keys.I PHYSEC is a viable and secure wireless physical security method for flying objects.

I Open research paths:I Test PHYSEC on real conditions.I Study scenarios such as approach or taxi.

19 / 21 Wednesday 20th March, 2019

Page 18: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Evaluation of a wireless physical security method for flyingobjects based on the frequency selectivity of the propaga-tion channel

Adrian Exposito Garcıa, Hector Esteban Gonzalez, Lorenzo Rubio Arjona,Martin Kubisch, Dominic Schupke

[email protected], +498960728609

Wednesday 20th March, 2019

Page 19: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

References I

Airbus a320.https://grabcad.com/library/airbus-a320--1 Accessed: 2019-11-03.

Google.http://www.google.com/apis/maps/signup.html. Accessed: 2019-11-03.

Web map service.http://www.pvretano.com/cubewerx/cubeserv? Accessed: 2019-11-03.

Ben Hamida, S. T., Pierrot, J.-B., and Castelluccia, C. (2009).An Adaptive Quantization Algorithm for Secret Key Generation Using RadioChannel Measurements.2009 3rd International Conference on New Technologies, Mobility and Security,pages 1–5.

20 / 21 Wednesday 20th March, 2019

Page 20: Di e-Hellman ACARS ADS-B ACARS: Aircraft Communication …drcn2019.inescc.pt/images/DRCN2019/presentations/Session... · 2019-03-22 · ACARS ADS-B ACARS: Aircraft Communication Addressing

Introduction Related Work Physec Methods Simulation Tools Case of Study Conclusion

References II

C.Edinger and A.Schmitt (2013).Rapid prototyping for atm operational concepts development.Deutsche Nationalbibliothek (urn:nbn:de:101:1-201302088769). Deutscher Luft-und Raumfahrtkongress 2012, 10.-12. Sep 2012, Berlin, Deutschland.

Patwari, N., Croft, J., Jana, S., and Kasera, S. K. (2010).High-rate uncorrelated bit extraction for shared secret key generation from channelmeasurements.IEEE Transactions on Mobile Computing, 9(1):17–30.

Ye, C., Mathur, S., Reznik, A., Shah, Y., Trappe, W., and Mandayam, N. B.(2010).Information-Theoretically secret key generation for fading wireless channels.IEEE Transactions on Information Forensics and Security, 5(2):240–254.

21 / 21 Wednesday 20th March, 2019