Ulster University Logo

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

Govaerts, J, Bandara, A and Curran, K (2009) A Formal Logic Approach to Firewall Packet Filtering Analysis and Generation. Artificial Intelligence Review, 29 (3). pp. 223-248. [Journal article]

Full text not available from this repository.

DOI: 10.1007/s10462-009-9147-0


Item Type:Journal article
Faculties and Schools:Faculty of Computing & Engineering
Faculty of Computing & Engineering > School of Computing and Intelligent Systems
Research Institutes and Groups:Computer Science Research Institute
Computer Science Research Institute > Intelligent Systems Research Centre
ID Code:10335
Deposited By: Dr Kevin Curran
Deposited On:13 Apr 2010 10:51
Last Modified:14 Dec 2011 15:55

Repository Staff Only: item control page