An Efficient Method for Ontology-Based Multi-Vendor Firewall Misconfiguration Detection: A Real-Case Study | IEEE Conference Publication | IEEE Xplore