Author(s)

Antonino Vitale¹, Marc Dacier^2*

¹Digital Security Department, EURECOM, Biot, France.
²KAUST—Resilient Computing and Cybersecurity Center (RC3), King Abdullah University of Science and Technology, Thuwal, Kingdom of Saudi Arabia.

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.

TTCN-3, Network Security, Conformance Testing, Deep Packet Inspection, Firewall

Vitale, A. and Dacier, M. (2021) Inmap-t: Leveraging TTCN-3 to Test the Security Impact of Intra Network Elements. Journal of Computer and Communications, 9, 174-190. doi: 10.4236/jcc.2021.96010.