Formalizing, Analyzing and Improving Aerospace Security Protocols