On the Security of the Automatic Dependent Surveillance-Broadcast Protocol

Strohmeier, Martin; Lenders, Vincent; Martinovic, Ivan

doi:10.1109/comst.2014.2365951

Cited by 211 publications

(160 citation statements)

References 79 publications

Supporting

Mentioning

155

Contrasting

Unclassified

Order By: Relevance

“…Distance bounding protocols [24,8,9,10] are two-way ranging protocols that rely on cryptographic techniques to enable a verifier to establish an upper bound on the physical distance to a prover. Mutlilateration is a passive localization technique based on the time difference of arrival (TDoA) of signals at geographically distributed stations that can be used for location verification [25,26,27]. However, these approaches only allow for verification of the position of a target, not its velocity and heading.…”

Section: Related Workmentioning

confidence: 99%

Secure Motion Verification using the Doppler Effect

Schäfer

Leu²,

Lenders³

et al. 2016

Proceedings of the 9th ACM Conference on Security &Amp; Privacy in Wireless and Mobile Networks

Self Cite

View full text Add to dashboard Cite

Future transportation systems highly rely on the integrity of spatial information provided by their means of transportation such as vehicles and planes. In critical applications (e.g. collision avoidance), tampering with this data can result in life-threatening situations. It is therefore essential for the safety of these systems to securely verify this information. While there is a considerable body of work on the secure verification of locations, movement of nodes has only received little attention in the literature. This paper proposes a new method to securely verify spatial movement of a mobile sender in all dimensions, i.e., position, speed, and direction. Our scheme uses Doppler shift measurements from different locations to verify a prover's motion. We provide formal proof for the security of the scheme and demonstrate its applicability to air traffic communications. Our results indicate that it is possible to reliably verify the motion of aircraft in currently operational systems with an equal error rate of zero.

show abstract

Section: Related Workmentioning

confidence: 99%

Secure Motion Verification using the Doppler Effect

Schäfer

Leu²,

Lenders³

et al. 2016

Proceedings of the 9th ACM Conference on Security &Amp; Privacy in Wireless and Mobile Networks

Self Cite

View full text Add to dashboard Cite

show abstract

“…Advances in software, hardware, and communication generate new opportunities for malicious activities (Fig 1). An example is Automatic dependent surveillancebroadcast (ADSB) which poses challenges for confidentiality, availability, and integrity over security and safety concerns [27], [56], [69], [79]. Current constructs include the system design as a cyberphysical system (CPS), as well as the devices operating at the edge to include the internet of things (IoT), that require consideration to mitigate cyber vulnerabilities.…”

Section: Introductionmentioning

confidence: 99%

Blockchain Methods for Trusted Avionics Systems

Blasch

Chen

et al. 2019

2019 IEEE National Aerospace and Electronics Conference (NAECON)

View full text Add to dashboard Cite

Blockchain is a popular method to ensure security for trusted systems. The benefits include an auditable method to provide decentralized security without a trusted third party, but the drawback is the large computational resources needed to process and store the ever-expanding chain of security blocks. The promise of blockchain for edge devices (e.g., internet of things) poses a variety of challenges and strategies before adoption. In this paper, we explore blockchain methods and examples, with experimental data to determine the merits of the capabilities. As for an aerospace example, we address a notional example for Automatic dependent surveillancebroadcast (ADSB) from Flight24 data (https://www.flightradar24.com/) to determine whether blockchain is feasible for avionics systems. The methods are incorporated into the Lightweight Internet of Things (IoT) based Smart Public Safety (LISPS) framework. By decoupling a complex system into independent sub-tasks, the LISPS system possesses high flexibility in the design process and online maintenance. The Blockchain-enabled decentralized avionics services provide a secured data sharing and access control mechanism. The experimental results demonstrate the feasibility of the approach.

show abstract

“…Related WorkTo achieve perfect security, the conventional encryption schemes are typically implemented at the upper layer using cryptographic methods. However, this is often achieved at the cost of high computational complexity [16].Unlike the traditional cryptographic methods, physical layer security (PLS), using the information-theoretic and signal processing approaches, has been widely investigated in the UAV-enabled wireless networks [17]-[20]. They enhance the coverage and security of the wireless systems by exploiting physical characteristics of the wireless channel.…”

mentioning

confidence: 99%

UAV Swarm-Enabled Aerial CoMP: A Physical Layer Security Perspective

et al. 2019

View full text Add to dashboard Cite

Unlike aerial base station enabled by a single unmanned aerial vehicle (UAV), aerial coordinated multiple points (CoMP) can be enabled by a UAV swarm. In this case, the management of multiple UAVs is important. This paper considers the power allocation strategy for a UAV swarm-enabled aerial network, to enhance the physical layer security of the downlink transmission, where an eavesdropper moves following the trajectory of the swarm for better eavesdropping. Unlike existing works, we use only the large-scale channel state information (CSI) and maximize the ergodic secrecy rate (ESR) in a wholetrajectory-oriented manner. The overall energy constraint on each UAV is considered. The non-convexity of the formulated problem is solved by using max-min optimization with iteration. Both the transmission power of desired signals and artificial noise (AN) are derived iteratively. Simulation results are presented to validate the effectiveness of our proposed power allocation algorithm and to show the advantage of aerial CoMP by using only the large-scale CSI. ). requirements for communications between multiple UAVs and 5G [11]- [15].One of the serious concerns in UAV swarm-enabled aerial networks is how to guarantee the privacy and secrecy of the system. Due to the broadcast nature and inherent randomness of wireless channels, UAV swarm-enabled communication networks are particularly vulnerable to various security threats, such as information eavesdropping, information leakage, data modification and so on. In addition, to facilitate the secure transmission, the UAV swarm often places itself near the legitimate users, which is beneficial to eavesdropping, especially when the eavesdropper moves close to the legitimate users. A. Related WorkTo achieve perfect security, the conventional encryption schemes are typically implemented at the upper layer using cryptographic methods. However, this is often achieved at the cost of high computational complexity [16].Unlike the traditional cryptographic methods, physical layer security (PLS), using the information-theoretic and signal processing approaches, has been widely investigated in the UAV-enabled wireless networks [17]-[20]. They enhance the coverage and security of the wireless systems by exploiting physical characteristics of the wireless channel. Specifically, by adaptively adjusting the UAVs' location, they could overcome the propagation constraints in the cellular systems, and provide new possibilities or opportunities for security enhancement. The authors in [17] utilized UAV as a mobile relay, and maximized the secrecy rate of the system with transmit optimization in a four-node. In [18], the authors investigated UAV-enabled secure communication systems where a mobile UAV sent confidential messages to multiple ground users. By considering the imperfect information on the locations of the eavesdroppers, the authors in [19] investigated a UAV-ground communication system with multiple potential eavesdroppers on the ground. The authors in [20] considered UAV-assisted secure c...

show abstract

On the Security of the Automatic Dependent Surveillance-Broadcast Protocol

Cited by 211 publications

References 79 publications

Secure Motion Verification using the Doppler Effect

Secure Motion Verification using the Doppler Effect

Blockchain Methods for Trusted Avionics Systems

UAV Swarm-Enabled Aerial CoMP: A Physical Layer Security Perspective

Contact Info

Product

Resources

About