Threat Modeling as a Basis for Security Requirements
automated generation and analysis of attack graphs .