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
Аннотация
Аннотация отсутствует.
Идентификаторы
Цитирования и источники
Цитирований: 2Использованных источников: 0