G. Osman M. G. Darwish M. Zaki Formal Design of Packet Filtering Systems. 299-310 2002 conf/sec/2002 SEC db/conf/sec/sec2002.html#OsmanDZ02