Modeling network intrusion detection alerts for correlation
automated generation and analysis of attack graphs .