Using Constraints for Intrusion Detection: The NeMODe System

Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu. Using Constraints for Intrusion Detection: The NeMODe System. In Ricardo Rocha, John Launchbury, editors, Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings. Volume 6539 of Lecture Notes in Computer Science, pages 115-129, Springer, 2011. [doi]

Authors

Pedro D. Salgueiro

This author has not been identified. Look up 'Pedro D. Salgueiro' in Google

Daniel Diaz

This author has not been identified. Look up 'Daniel Diaz' in Google

Isabel Brito

This author has not been identified. Look up 'Isabel Brito' in Google

Salvador Abreu

This author has not been identified. Look up 'Salvador Abreu' in Google