Ulster University Logo

Ulster Institutional Repository

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

Biomedical Sciences Research Institute Computer Science Research Institute Environmental Sciences Research Institute Nanotechnology & Advanced Materials Research Institute

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 11:51
Last Modified:14 Dec 2011 15:55

Repository Staff Only: item control page