A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ahmed Khoumsi, Wadie Krombi, Mohammed Erradi. A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies. In Frédéric Cuppens, Joaquín García-Alfaro, A. Nur Zincir-Heywood, Philip W. L. Fong, editors, Foundations and Practice of Security - 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers. Volume 8930 of Lecture Notes in Computer Science, pages 221-236, Springer, 2014. [doi]

This author has not been identified. Look up 'Ahmed Khoumsi' in GoogleThis author has not been identified. Look up 'Wadie Krombi' in GoogleThis author has not been identified. Look up 'Mohammed Erradi' in Google

runs on WebDSL