Inmap-t: Leveraging TTCN-3 to test the security impact of intra network elements

Vitale, Antonio; Dacier, Marc
Journal of Computer and Communications, Vol.9, N°6, June 2021

This paper rejuvenates the notion of conformance testing in order to assess the security of networks. It leverages the Testing and Test Control Notation Version 3 (TTCN-3) by applying it to a redefined notion of System under Test (SUT). Instead of testing, as it is classically done, a software/firmware/ hardware element, an intangible object, namely the network, is tested in order to infer some of its security properties. After a brief introduction of TTCN-3 and Titan, its compilation and execution environment, a couple of use cases are provided to illustrate the feasibility of the approach. The pros and cons of using TTCN-3 to implement a scalable and flexible network testing environment are discussed.


DOI
Type:
Journal
Date:
2021-06-28
Department:
Sécurité numérique
Eurecom Ref:
6600
Copyright:
Scientific Research Publishing Inc
See also:

PERMALINK : https://www.eurecom.fr/publication/6600