Attack plan recognition and prediction using causal networks
automated generation and analysis of attack graphs .