Automated repair by example for firewalls.

William T. Hallahan Ennan Zhai Ruzica Piskac

Published in: Formal Methods Syst. Des. (2020)

Keyphrases

network security
fully automated
damage assessment
automated analysis
semi automated
computer assisted
data driven
automated classification
data sets
computer aided
semi automatic
evolutionary algorithm
preprocessing
digital libraries
wide range
website
social networks
artificial intelligence
machine learning