Sylvain Hallé, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui. Distributed firewall anomaly detection through LTL model checking. In Filip De Turck, Yixin Diao, Choong Seon Hong, Deep Medhi, Ramin Sadre, editors, 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), Ghent, Belgium, May 27-31, 2013. pages 194-201, IEEE, 2013. [doi]
Abstract is missing.