Security testing of an aerospace launch system

Many aerospace vehicles are vulnerable to security attacks that not only can cause loss of the vehicle, but also loss of life or compromise national security. This paper proposes an approach for security testing an aerospace launch system. Our approach is based on building a security test suite from a behavioral model, an attack type and a mitigation model. The behavioral and attack model determine where specific attacks can occur. We then build the security test based on a required mitigation from the mitigation model.