On using Constraints for Network Intrusion Detection

Pedro Salgueiro; Salvador Abreu

On using Constraints for Network Intrusion Detection

Pedro Salgueiro, Salvador Abreu

DI - Departamento de Informática

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Abstract: In this work we present a domain speciﬁc language for net- work intrusion detection that allows to describe network intrusions com- posed by several network packets, using a declarative approach to de- scribe the desirable network situations, and based on that description, a set of parameterizations for network intrusion detection mechanisms based on Constraint Programming(CP) will execute to ﬁnd those intrusions.
Resumo: Neste trabalho apresentamos uma linguagem específica de domínio para descrever intrusões de rede, capaz de descrever ataques compostos por vários pacotes de rede, e a partir de uma descrição declarativada intrusão, criar um conjunto de ferramentas capaz de detectar a intrusão desejada, tendo como base a Programação por Restrições(CP).

Original language	English
Title of host publication	INForum 2010
Subtitle of host publication	Actas do II Simpósio de Informática: Universidade do Minho, 9-10 Setembro, 2010
Editors	Luís S. Barbosa, Miguel P. Correia
Place of Publication	Braga
Publisher	Universidade do Minho
Pages	637–648
Number of pages	12
Volume	Segurança de Sistemas de Computadores e Comunicações
ISBN (Print)	978-989-96863-0-4
Publication status	Published - 2010
Event	INForum 2010: II Simpósio de Informática - Universidade do Minho, Braga, Portugal Duration: 9 Sep 2010 → 10 Sep 2010

Conference

Conference	INForum 2010
Country	Portugal
City	Braga
Period	9/09/10 → 10/09/10

Keywords

Constraint Programming
Intrusion Detection Systems
Domain Specific Languages
Programação por restrições
Sistemas de detecção de Intrusões
Linguagens específicas de Domínio

Cite this

@inproceedings{e0fa0eda9b45433fbd9d6b833d52e7ee,

title = "On using Constraints for Network Intrusion Detection",

abstract = "Abstract: In this work we present a domain speciﬁc language for net- work intrusion detection that allows to describe network intrusions com- posed by several network packets, using a declarative approach to de- scribe the desirable network situations, and based on that description, a set of parameterizations for network intrusion detection mechanisms based on Constraint Programming(CP) will execute to ﬁnd those intrusions.Resumo: Neste trabalho apresentamos uma linguagem espec{\'i}fica de dom{\'i}nio para descrever intrus{\~o}es de rede, capaz de descrever ataques compostos por v{\'a}rios pacotes de rede, e a partir de uma descri{\c c}{\~a}o declarativada intrus{\~a}o, criar um conjunto de ferramentas capaz de detectar a intrus{\~a}o desejada, tendo como base a Programa{\c c}{\~a}o por Restri{\c c}{\~o}es(CP).",

keywords = "Constraint Programming, Intrusion Detection Systems, Domain Specific Languages, Programa{\c c}{\~a}o por restri{\c c}{\~o}es, Sistemas de detec{\c c}{\~a}o de Intrus{\~o}es, Linguagens espec{\'i}ficas de Dom{\'i}nio",

author = "Pedro Salgueiro and Salvador Abreu",

year = "2010",

language = "English",

isbn = "978-989-96863-0-4",

volume = " Seguran{\c c}a de Sistemas de Computadores e Comunica{\c c}{\~o}es",

pages = "637–648",

editor = "Barbosa, {Lu{\'i}s S.} and Correia, {Miguel P.}",

booktitle = "INForum 2010",

publisher = "Universidade do Minho",

address = "Portugal",

note = "INForum 2010 : II Simp{\'o}sio de Inform{\'a}tica ; Conference date: 09-09-2010 Through 10-09-2010",

}

On using Constraints for Network Intrusion Detection. / Salgueiro, Pedro; Abreu, Salvador.

INForum 2010: Actas do II Simpósio de Informática: Universidade do Minho, 9-10 Setembro, 2010. ed. / Luís S. Barbosa; Miguel P. Correia. Vol. Segurança de Sistemas de Computadores e Comunicações Braga : Universidade do Minho, 2010. p. 637–648.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On using Constraints for Network Intrusion Detection

AU - Salgueiro, Pedro

AU - Abreu, Salvador

PY - 2010

Y1 - 2010

N2 - Abstract: In this work we present a domain speciﬁc language for net- work intrusion detection that allows to describe network intrusions com- posed by several network packets, using a declarative approach to de- scribe the desirable network situations, and based on that description, a set of parameterizations for network intrusion detection mechanisms based on Constraint Programming(CP) will execute to ﬁnd those intrusions.Resumo: Neste trabalho apresentamos uma linguagem específica de domínio para descrever intrusões de rede, capaz de descrever ataques compostos por vários pacotes de rede, e a partir de uma descrição declarativada intrusão, criar um conjunto de ferramentas capaz de detectar a intrusão desejada, tendo como base a Programação por Restrições(CP).

AB - Abstract: In this work we present a domain speciﬁc language for net- work intrusion detection that allows to describe network intrusions com- posed by several network packets, using a declarative approach to de- scribe the desirable network situations, and based on that description, a set of parameterizations for network intrusion detection mechanisms based on Constraint Programming(CP) will execute to ﬁnd those intrusions.Resumo: Neste trabalho apresentamos uma linguagem específica de domínio para descrever intrusões de rede, capaz de descrever ataques compostos por vários pacotes de rede, e a partir de uma descrição declarativada intrusão, criar um conjunto de ferramentas capaz de detectar a intrusão desejada, tendo como base a Programação por Restrições(CP).

KW - Constraint Programming

KW - Intrusion Detection Systems

KW - Domain Specific Languages

KW - Programação por restrições

KW - Sistemas de detecção de Intrusões

KW - Linguagens específicas de Domínio

M3 - Conference contribution

SN - 978-989-96863-0-4

VL - Segurança de Sistemas de Computadores e Comunicações

SP - 637

EP - 648

BT - INForum 2010

A2 - Barbosa, Luís S.

A2 - Correia, Miguel P.

PB - Universidade do Minho

CY - Braga

T2 - INForum 2010

Y2 - 9 September 2010 through 10 September 2010

ER -

On using Constraints for Network Intrusion Detection

Abstract

Conference

Keywords

Fingerprint

Cite this