Specifications of a high-level conflict-free firewall policy language for multi-domain networks
Taxonomy of conflicts in network security policies