Theory and models for cyber situation awareness - Liu, Peng 1970-; Jajodia, Sushil 1947-; Wang, Cliff (Lecture notes in computer science, 2017)