Inmap-t: Leveraging TTCN-3 to Test the Security Impact of Intra Network Elements

Antonino Vitale, Marc Dacier

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish (US)
Pages (from-to)174-190
Number of pages17
JournalJournal of Computer and Communications
Issue number06
StatePublished - 2021

Bibliographical note

KAUST Repository Item: Exported on 2021-08-16
Acknowledgements: Work partly performed whilst Marc Dacier was with EURECOM.


Dive into the research topics of 'Inmap-t: Leveraging TTCN-3 to Test the Security Impact of Intra Network Elements'. Together they form a unique fingerprint.

Cite this