Affiliations: [a] Computer Engineering and Information Technology Department, Amirkabir University of Technology, Hafez Street, Tehran, Iran
| [b] Mechanical Engineering Department, Payame Noor University, Nakhl Street, Lashkarak Highway, Tehran, Iran
Correspondence:
[*]
Corresponding author. Babak Sadeghiyan, Computer Engineering and Information Technology Department, Amirkabir University of Technology, Hafez Street, Tehran, Iran. E-mail: basadegh@aut.ac.ir.
Abstract: 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.
Keywords: Privacy, collision detection and resolution, line segment intersection algorithm, exact and inexact collision
