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

作　　者：Antonino Vitale Marc Dacier Antonino Vitale;Marc Dacier(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)

机构地区：[1]Digital Security Department, EURECOM, Biot, France [2]KAUST—Resilient Computing and Cybersecurity Center (RC3), King Abdullah University of Science and Technology, Thuwal, Kingdom of Saudi Arabia

出　　处：《Journal of Computer and Communications》2021年第6期174-190,共17页电脑和通信（英文）

摘　　要：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 <i>System under Test</i> (<i>SUT</i>). 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.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 <i>System under Test</i> (<i>SUT</i>). 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 

分 类 号：TN9[电子电信—信息与通信工程]