A Unified Class Model for Checking Security Policies in ICT Infrastructures