Complete analysis of configuration rules to guarantee reliable network security policies