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

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	223-248
Journal	Artificial Intelligence Review
Volume	29
Issue number	3
DOIs	https://doi.org/10.1007/s10462-009-9147-0
Publication status	Published (in print/issue) - 1 Dec 2009

Access to Document

@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 = dec,

day = "1",

doi = "10.1007/s10462-009-9147-0",

language = "English",

volume = "29",

pages = "223--248",

journal = "Artificial Intelligence Review",

issn = "1573-7462",

publisher = "Springer Netherlands",

number = "3",

}

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

SN - 1573-7462

VL - 29

SP - 223

EP - 248

JO - Artificial Intelligence Review

JF - Artificial Intelligence Review

IS - 3

ER -