Bassam Khorchani, Sylvain Hallé, Roger Villemaire. Firewall anomaly detection with a model checker for visibility logic. In 2012 IEEE Network Operations and Management Symposium, Maui, HI, USA, April 16-20, 2012. pages 466-469, IEEE, 2012. [doi]
Abstract is missing.