A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns. A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. In Kazuhiro Ogata, Mark Lawford, Shaoying Liu, editors, Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. Volume 10009 of Lecture Notes in Computer Science, pages 141-158, 2016. [doi]

This author has not been identified. Look up 'Linas Laibinis' in GoogleThis author has not been identified. Look up 'Elena Troubitsyna' in GoogleThis author has not been identified. Look up 'Inna Pereverzeva' in GoogleThis author has not been identified. Look up 'Ian Oliver' in GoogleThis author has not been identified. Look up 'Silke Holtmanns' in Google

runs on WebDSL