Please use this identifier to cite or link to this item:
http://hdl.handle.net/10174/4567
|
| Title: | Using Constraints for Intrusion Detection: The NeMODe System |
| Authors: | Salgueiro, Pedro
Diaz, Daniel
Brito, Isabel
Abreu, Salvador |
| Editors: | Rocha, Ricardo
Launchbury, John |
| Keywords: | Intrusion Detection
Constraint Programming
Domain-Specific Languages |
| Issue Date: | Jan-2011 |
| Publisher: | Springer |
| Citation: | Pedro Salgueiro and Daniel Diaz and Isabel Brito and Salvador Abreu, Using Constraints for Intrusion Detection: The NeMODe System, , Practical Aspects of Declarative Languages (PADL 2011), LNCS, Springer, Vol. 6539, Pag. 115-129, 2011. |
| Abstract: | In this work we present NeMODe a declarative system for Computer Network Intrusion detection which provides a declarative Do- main Specific Language for describing computer network intrusion signa- tures that could spread across several network packets, which allows to state constraints over network packets, describing relations between sev- eral packets, and providing several back-end detection mechanisms which relies on Constraint Programming (CP) methodologies to find those in- trusions. |
| URI: | http://hdl.handle.net/10174/4567 |
| Type: | article |
| Appears in Collections: | INF - Artigos em Livros de Actas/Proceedings
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
