Conference
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.
Authors
Laibinis L; Troubitsyna E; Pereverzeva I; Oliver I; Holtmanns S
Editors
Ogata K; Lawford M; Liu S
Series
Lecture Notes in Computer Science
Volume
10009
Pagination
pp. 141-158
Publication Date
2016
ISBN-13
978-3-319-47845-6
Conference proceedings
ICFEM