Using attack graphs for correlating, hypothesizing, and predicting intrusion alerts
automated generation and analysis of attack graphs .