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

J Govaerts, A Bandara, K Curran

Research output: Contribution to journalArticle

7 Citations (Scopus)
Original languageEnglish
Pages (from-to)223-248
JournalArtificial Intelligence Review
Volume29
Issue number3
DOIs
Publication statusPublished - 1 Dec 2009

Cite this