Formal Design of Packet Filtering Systems.

G. Osman M. G. Darwish Mohammed Zaki

Published in: SEC (2002)

Keyphrases

case study
learning environment
building blocks
design process
optimal design
multi agent systems
user interface
object oriented
design principles
design methodology
network design
formal methods