A Model for the Analysis of Security Policies in Industrial Networks