A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks

A4 Konferenspublikationer

Interna författare/redaktörer

Publikationens författare: Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
Redaktörer: Kazuhiro Ogata, Mark Lawford and Shaoying Liu
Publiceringsår: 2016
Förläggare: Springer
Moderpublikationens namn: Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Seriens namn: Lecture Notes in Computer Science
Volym: 10009
Artikelns första sida, sidnummer: 141
Artikelns sista sida, sidnummer: 158
ISBN: 978-3-319-47845-6
eISBN: 978-3-319-47846-3
ISSN: 0302-9743


The number of security attacks on the telecommunication networks is
constantly increasing. To prevent them, the telecom sector is looking
for new automated techniques facilitating a discovery of potential
network vulnerabilities and rectification of them. In this paper, we
propose an approach for identifying potential attack scenarios and
defining recommendations for preventing them. The approach is formalised
in the Event-B framework. It allows us to not only formalise the
analysed part of the network architecture and verify consistency of the
control and data flow of the associated services but also employ model
checking to generate and analyse attack scenarios. By applying the
proposed approach, the designers can systematically explore network
vulnerabilities and propose recommendations for attack prevention.

Senast uppdaterad 2020-01-06 vid 06:07