Modelling and Analysis of Network Security Policies