A Formal Approach to Specify and Deploy a Network Security Policy