Secure multi-party collision resolution protocol for air traffic control
Motahareh Dehghan, Babak Sadeghiyan, Erfan Khosravian · Journal of Intelligent & Fuzzy Systems · 2020
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 ( n 2 ), 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.