A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.

Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns

Browse the full ICFEM paper archive.