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

Abstract
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.

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

Acknowledgements
Work partly performed whilst Marc Dacier was with EURECOM.

Publisher
Scientific Research Publishing, Inc.

Journal
Journal of Computer and Communications

DOI
10.4236/jcc.2021.96010

Additional Links
https://www.scirp.org/journal/doi.aspx?doi=10.4236/jcc.2021.96010

Permanent link to this record