Cyber threat modeling and validation: port scanning and detection. - Eric D. Vugrin; Jerry Cruz; Christian Reedy; Thomas D. Tarman; Ali Pinar (HotSoS, 2020)