Formal Checking of Multiple Firewalls

Nihel Ben Youssef Ben Souayeh Adel Bouhoula

Published in: CoRR (2012)

Keyphrases

database
data sets
search algorithm
information technology
machine learning
information retrieval
network security