Efficient minimum-cost network hardening via exploit dependency graphs
automated generation and analysis of attack graphs .