Linear-Time Verification of Firewalls.

Hrishikesh B. Acharya Mohamed G. Gouda

Published in: ICNP (2009)

Keyphrases

face verification
network security
worst case
neural network
model checking
intrusion detection system
formal verification
real world
machine learning
image segmentation
database systems
similarity measure
np complete
signature verification
asynchronous circuits
concurrent systems