• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks

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 (Eds.), Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, Lecture Notes in Computer Science 10009, 141–158, Springer, 2016.

http://dx.doi.org/10.1007/978-3-319-47846-3_10

Abstract:

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.

BibTeX entry:

@INPROCEEDINGS{inpLaTrPeOlHo16a,
  title = {A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks},
  booktitle = {Formal Methods and Software Engineering - 18th International Conference  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November  14-18, 2016, Proceedings},
  author = {Laibinis, Linas and Troubitsyna, Elena and Pereverzeva, Inna and Oliver, Ian and Holtmanns, Silke},
  volume = {10009},
  series = {Lecture Notes in Computer Science},
  editor = {Ogata, Kazuhiro and Lawford, Mark and Liu, Shaoying},
  publisher = {Springer},
  pages = {141–158},
  year = {2016},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 1

Edit publication