Modeling and simulation to support cyber defense. (January 2020)