A formal approach to sensor placement and configuration in a network intrusion detection system. - Marco Rolando; Matteo Rossi 001; Niccolò Sanarico; Dino Mandrioli (SESS@ICSE, 2006)