A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks
Measuring Security Risk of Networks Using Attack Graphs