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
Annotatsiya
Annotatsiya mavjud emas.
Identifikatorlar
Iqtiboslar va manbalar
2 ta iqtibos0 ta foydalanilgan manba