Taking into Account Functional Models in the Validation of IS Security Policies