On the Security of the Automatic Dependent Surveillance-Broadcast Protocol
Security Requirements Engineering: A Framework for Representation and Analysis