Using Constraints for Intrusion Detection: The NeMODe System - Salgueiro, Pedro; Diaz, Daniel; Brito, Isabel; Abreu, Salvador (2011)