Proactive Security Analysis of Changes in Virtualized Infrastructures