In this paper, we present a protocol for secure resolution of collision between aircraft, while their corresponding trajectories are kept private. For privacy reasons, we assume that each aircraft’s position, heading and velocity are not available to all aircraft involved in the protocol.
Our new secure protocol is based on an algorithm, which is for collision resolution of aircraft, without considering the privacy requirement. Our approach is Secure Multi-party Computation. To present our Secure Multi-party Collision Resolution Protocol, we propose a new Secure Sorting Protocol and a Modified Distributed Oblivious Transfer Protocol. We also take advantage of employing a Secure Multi-party Collision Detection Protocol, a Homomorphic Encryption, a Secure Comparison Protocol, and a Secure Maximum Finding Protocol.
To prove the security of our proposed protocol and its sub-protocols, we use the Ideal/ Real Simulation Paradigm. The communication complexity of our proposed protocol is in O (n2), and its computation complexity is in O(n). We have also done a simulation for the execution of our proposed protocol for multiple moving aircraft, to show its practicality.
Alonso-AyusoA., EscuderoL.F., et al., A VNS metaheuristic for solving the aircraft conflict detection and resolution problem by performing turn changes, Journal of Global Optimization63(3) (2015), 583–596, doi: 10.1007/s10898-014-0144-8
2.
YaoA.C., Protocols for secure computations, in: Proc. Foundations of Computer Science (FOCS)1 (1982), 160–164, doi: 10.1109/SFCS.1982.88
3.
WestinA.F., Privacy and Freedom, Washington and Lee Law Review, Atheneum, New York25(1) (1967), xvi–487.
4.
NarayananA., BonehD., et al., Location Privacy via Private Proximity Testing, in: Proc. the Network and Distributed System Security Symposium (NDSS), 2011.
5.
NarkawiczA. and HagenG., Algorithms for collision detection between a point and a moving polygon with applications to aircraft weather avoidance, 16th AIAA Aviation Technology Integration and Operations Conference (2016), 35–98, doi: 10.2514/6.2016-3598
6.
HemenwayB., OstrovskyR., et al., High-precision secure computation of satellite collision probabilities, in: Proc. The 10th International Conference on Security and Cryptography for Networks9841 (2016), 169–187, doi: 10.1007/978-3-319-44618-9_9
7.
MuellerE. and KochenderferM., Multi-rotor aircraft collision avoidance using partially observable Markov decision processes, in: Proc. AIAA Modeling and Simulation Technologies Conference, 2016, doi: 10.2514/6.2016-3673
8.
BaldimtsiF. and OhrimenkoO., Sorting and Searching Behind the Curtain, in: Proc. the International Conference on Financial Cryptography and Data Security, Lecture Notes in Computer Science, Springer, Heidelberg8975 (2015), 127–146, doi: 10.1007/978-3-662-47854-7_8
9.
HwangI., KimJ. and TomlinC., Protocol-Based Conflict Resolution for Air Traffic Control, Air Traffic Control Quarterly15(1) (2007), 1–34, doi: 10.2514/atcq.15.1.1
10.
HwangI., TomlinC., Protocol Based conflict Resolution for Finite Information Horizon, in: Proc. the American Control Conference1 (2002), 748–753, doi: 10.1109/ACC.2002.1024903
11.
KucharJ. and DrummA., The traffic alert and collision avoidance system, Lincoln Laboratory Journal16(2) (2007), 277–296.
12.
QiuJ., SunK., et al., Observer-Based Fuzzy Adaptive Event-Triggered Control for Pure-Feedback Nonlinear Systems with Prescribed Performance, IEEE Transactions on Fuzzy Systems, 2019, doi: 10.1109/TFUZZ.2018.2883374
13.
FrikkenK.B. and AtallahM.J., Privacy preserving route planning, in: Proc. the 3rd ACM Workshop on Privacy in the Electronic Society (2004), 8–15, doi: 10.1109/JIOT.2014.2361016
14.
SunK., MouS., et al., Adaptive Fuzzy Control for Non-Triangular Structural Stochastic Switched Nonlinear Systems, IEEE Transactions on Fuzzy Systems27(8) (2019), 1587–1601, doi: 10.1109/TFUZZ.2018.2883374
15.
AbramsonM., RefaiM., et al., The Generic Resolution Advisor and Conflict Evaluator (GRACE) for Detect-And-Avoid (DAA) Systems, in: Proc. 17th AIAA Aviation Technology, Integration, and Operations Conference, 2017, doi: 10.2514/6.2017-4485
16.
de BergM., van KreveldM., et al., Computational Geometry: Algorithms and Applications, Springer-Verlag, New York, 1997.
17.
DehghanM. and SadeghiyanB., Privacy Preserving Collision Detection of Moving Objects, Wiley Transactions on Emerging Telelcommunications Technologies30(3) (2018), doi: 10.1002/ett.3484
18.
DehghanM. and SadeghyianB., An Efficient Secure Generalized Comparison Protocol, in: Proc. the 26th Iranian Conference on Electrical Engineering (ICEE), Mashhad, Iran, 2018, doi: 10.1109/ICEE.2018.8472437
19.
AtallahM.J. and DuW., Secure Multi-party Computational Geometry, in: Proc. the 7th International Workshop on Algorithms and Data Structures2125 (2001), 165–179, doi: 10.1007/3-540-44634-6_16
20.
NaorM. and PinkasB., Distributed oblivious transfer, in: Proc. International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2000: Advances in Cryptology, LNCS1976 (2000), 205–219.
21.
HafnerM.R., CunninghamD., et al., Cooperative collision avoidance at intersections: Algorithms and experiments, IEEE Transactions on Intelligent Transportation Systems14(3) (2013), 1162–1175, doi: 10.1109/TITS.2013.2252901
22.
SolerM., KamgarpourM., et al., A hybrid optimal control approach to fuel-efficient aircraft conflict avoidance, IEEE Transactions on Intelligent Transportation Systems17(7) (2016), 1826–1838, doi: 10.1109/TITS.2015.2510824
23.
DurandN., Constant speed optimal reciprocal collision avoidance, Transportation research part C: emerging technologies96 (2018), 366–379, doi: 10.1016/j.trc.2018.10.004
24.
GoldreichO., MicaliS. and WigdersonA., How to play ANY mental game, in: Proc. ACM Symposium on Theory of Computing (ACM STOC) (1987), 218–229, doi: 10.1145/28395.28420
25.
ZhaoP., WangW., et al., Multiple Aircraft Collision Avoidance Method Based on ADS-B System, in: Proc. AIAA Aviation 2019 Forum, 2019, 10.2514/6.2019-3417
26.
PaielliR.A. and ErzbergerH., Trajectory Specification for Terminal Airspace: Conflict Detection and Resolution, Journal of Air Transportation27(2) (2019), doi: 10.2514/1.D0132
27.
HaoS., ChengSh., et al., multi-aircraft conflict detection and resolution method for 4-dimensional trajectory-based operation, Chinese Journal of Aeronautics31(7) (2018), 1579–1593, doi: 10.1016/j.cja.2018.04.017
28.
HaoS., ZhangY., et al., Probabilistic Multi-Aircraft Conflict Detection Approach for Trajectory-Based Operation, Transportation Research Part C: Emerging Technologies95 (2018), 698–712, doi: 10.1016/j.trc.2018.08.010
29.
RussellT., AndrewA., et al., Automatic collision avoidance technology, 18th Australian International Aerospace Congress, 2019, 495–503.
30.
ToftT., A Secure Priority Queue; or: On Secure Datastructures from Multi-party Computation, in: Proc. the International Conference on Information Security and Cryptology, 2013, 20–33, doi: 10.1007/978-3-319-12160-4_2
31.
WangW., A Satisficing Game Theoretic Approach to Multi-Aircraft Collision Avoidance, in: Proc. IOP Conference Series: Materials Science and Engineering533(1) (2019), doi: 10.1088/1757-899X/533/1/012028
32.
YangY., ZhangJ., et al., Multi-aircraft conflict detection and resolution based on probabilistic reach sets, IEEE Transactions on Control Systems Technology25(1) (2017), 309–316, doi: 10.1109/TCST.2016.2542046
33.
XueJunZ., HwangI., et al., A hybrid distributed-centralized conflict resolution approach for multi-aircraft based on cooperative co-evolutionary, Science China Information Sciences56(12) (2013), 1–16, doi: 10.1007/s11432-013-4836-3
