Holger Peine, Reinhard Schwarz. A Multi-View Tool for Checking the Security Semantics of Router Configurations. In 19th Annual Computer Security Applications Conference (ACSAC 2003), 8-12 December 2003, Las Vegas, NV, USA. pages 56-65, IEEE Computer Society, 2003. [doi]
Abstract is missing.