A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks
A Cyber Attack Modeling and Impact Assessment framework