Post liftoff security testing of an aerospace launch system

While aerospace launch vehicles are vulnerable to security attacks, post-liftoff attacks have the most potential for destruction including loss of the vehicle or loss of life. This paper demonstrates an approach for security testing an aerospace launch system post-liftoff. This approach is based on building a security test suite from a behavioral model, an attack type and a mitigation model. Our behavioral and attack models are used to determine attack points in a system. We can then build a security test suite based on attack mitigation models.