Compiling threats into inductive rules for autonomous situation awareness. - Sanguk Noh; Gihyun Jung; Eunkyoung Go; Unseob Jeong (SMC, 2007)