A Formal Logic Approach to Firewall Packet Filtering Analysis and Generation.

J Govaerts, A Bandara, K Curran

Research output: Contribution to journalArticle

6 Citations (Scopus)
LanguageEnglish
Pages223-248
JournalArtificial Intelligence Review
Volume29
Issue number3
DOIs
Publication statusPublished - 1 Dec 2009

Cite this

@article{df5cdf07dc174062a275b6b23ffbb8a3,
title = "A Formal Logic Approach to Firewall Packet Filtering Analysis and Generation.",
author = "J Govaerts and A Bandara and K Curran",
year = "2009",
month = "12",
day = "1",
doi = "10.1007/s10462-009-9147-0",
language = "English",
volume = "29",
pages = "223--248",
journal = "Artificial Intelligence Review",
issn = "0269-2821",
number = "3",

}

A Formal Logic Approach to Firewall Packet Filtering Analysis and Generation. / Govaerts, J; Bandara, A; Curran, K.

In: Artificial Intelligence Review, Vol. 29, No. 3, 01.12.2009, p. 223-248.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A Formal Logic Approach to Firewall Packet Filtering Analysis and Generation.

AU - Govaerts, J

AU - Bandara, A

AU - Curran, K

PY - 2009/12/1

Y1 - 2009/12/1

U2 - 10.1007/s10462-009-9147-0

DO - 10.1007/s10462-009-9147-0

M3 - Article

VL - 29

SP - 223

EP - 248

JO - Artificial Intelligence Review

T2 - Artificial Intelligence Review

JF - Artificial Intelligence Review

SN - 0269-2821

IS - 3

ER -