Kevin Curran

1 ta ish

University of Ulster

1. A formal logic approach to firewall packet filtering analysis and generation

   John Govaerts, Arosha K. Bandara, Kevin Curran

   Maqola20082 iqtibos

   ABIABI:AkademIndex/2026.other.062417