Cyber Defense of Space-based Assets: Verifying and Validating Defensive Designs and Implementations. - D. J. Byrne; David Morgan; Kymie Tan; Bryan Johnson; Chris Dorros (CSER, 2014)