Damiano Bolzoni Bruno Crispo Sandro Etalle ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection Systems. 141-152 2007 conf/lisa/2007 LISA http://www.usenix.org/events/lisa07/tech/bolzoni.html db/conf/lisa/lisa2007.html#BolzoniCE07