Resilient Computing and Cybersecurity Center (RC3)

Permanent URI for this collection


Recent Submissions

Now showing 1 - 1 of 1
  • Article

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

    (Scientific Research Publishing, Inc., 2021) Vitale, Antonino; Dacier, Marc; Computer, Electrical and Mathematical Science and Engineering (CEMSE) Division; Resilient Computing and Cybersecurity Center (RC3); Digital Security Department, EURECOM, Biot, France.

    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.