Firewall anomaly detection with a model checker for visibility logic.

Bassam Khorchani, Sylvain Hall, Roger Villemaire

Browse the full NOMS paper archive.