A Multi-View Tool for Checking the Security Semantics of Router Configurations.

Holger Peine, Reinhard Schwarz

Browse the full ACSAC paper archive.