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




