A formal logic approach to firewall packet filtering analysis and generation
John GovaertsThe Open University, Walton Hall Campus, Milton Keynes, MK7 6AA, UKArosha K. BandaraThe Open University, Walton Hall Campus, Milton Keynes, MK7 6AA, UKKevin CurranSchool of Computing and Intelligent Systems, Faculty of Computing and Engineering, University of Ulster, Londonderry, Northern Ireland, UK
2008en
ABI
Abstract
No abstract available.
Identifiers
Citations and references
Cited by 20 references