Formal approach for managing firewall misconfigurations.

Amina Saadaoui Nihel Ben Youssef Ben Souayeh Adel Bouhoula

Published in: RCIS (2014)

Keyphrases

intrusion detection
formal model
network traffic
end users
intrusion detection system
machine learning
computer vision
information systems
formal methods
formal analysis
management tools
formal language
java card
security risks