A formal framework for verifying inter-firewalls consistency.

Majda Moussa Hakima Ould-Slimane Hanifa Boucheneb Steven Chamberland

Published in: ISCC (2014)

Keyphrases

lightweight
main contribution
machine learning
information retrieval
website
theoretical framework
genetic algorithm
formal model