Distributed firewall anomaly detection through LTL model checking.

Sylvain Hall, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui

Browse the full IM paper archive.