transformations. The main approaches that are adopted in the literature for security specification and hardening

1 Introduction -- 2 Literature Review -- 3 Auditing Security Compliance of Virtualized