Inmap-t: Leveraging TTCN-3 to Test the Security Impact of Intra Network Elements
KAUST DepartmentResilient Computing and Cybersecurity Center (RC3)
Permanent link to this recordhttp://hdl.handle.net/10754/670606
MetadataShow full item record
AbstractThis 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.
CitationVitale, A., & Dacier, M. (2021). <i>Inmap-t</i>: 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
SponsorsWork partly performed whilst Marc Dacier was with EURECOM.
PublisherScientific Research Publishing, Inc.
Except where otherwise noted, this item's license is described as Copyright © 2021 by author(s) and Scientific Research Publishing Inc. Archived with thanks to Journal of Computer and Communications. This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).