Threat Modeling for Cloud Data Center Infrastructures
automated generation and analysis of attack graphs .