Inmap-t: Leveraging TTCN-3 to Test the Security Impact of Intra Network Elements
Name:
TTCN3_inmap-t_Vitale_dacier_JCC2021.pdf
Size:
489.0Kb
Format:
PDF
Description:
Published Version
Type
ArticleAuthors
Vitale, AntoninoDacier, Marc

KAUST Department
Computer, Electrical and Mathematical Science and Engineering (CEMSE) DivisionResilient Computing and Cybersecurity Center (RC3)
Date
2021Permanent link to this record
http://hdl.handle.net/10754/670606
Metadata
Show full item recordAbstract
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). <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.96010Sponsors
Work partly performed whilst Marc Dacier was with EURECOM.Publisher
Scientific Research Publishing, Inc.Additional Links
https://www.scirp.org/journal/doi.aspx?doi=10.4236/jcc.2021.96010ae974a485f413a2113503eed53cd6c53
10.4236/jcc.2021.96010
Scopus Count
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).