Formal Design of Packet Filtering Systems. - G. Osman; M. G. Darwish; Mohammed Zaki 001 (SEC, 2002)

GBF: a grammar based filter for Internet applications. - Mohammed Zaki 001; M. G. Darwish; G. Osman (J. Netw. Comput. Appl., 2003)