Show simple item record

dc.contributor.authorVitale, Antonino
dc.contributor.authorDacier, Marc
dc.date.accessioned2021-08-15T11:11:18Z
dc.date.available2021-08-15T11:11:18Z
dc.date.issued2021
dc.identifier.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
dc.identifier.issn2327-5219
dc.identifier.issn2327-5227
dc.identifier.doi10.4236/jcc.2021.96010
dc.identifier.urihttp://hdl.handle.net/10754/670606
dc.description.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.
dc.description.sponsorshipWork partly performed whilst Marc Dacier was with EURECOM.
dc.publisherScientific Research Publishing, Inc.
dc.relation.urlhttps://www.scirp.org/journal/doi.aspx?doi=10.4236/jcc.2021.96010
dc.rightsCopyright © 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).
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.titleInmap-t: Leveraging TTCN-3 to Test the Security Impact of Intra Network Elements
dc.typeArticle
dc.contributor.departmentResilient Computing and Cybersecurity Center (RC3)
dc.identifier.journalJournal of Computer and Communications
dc.eprint.versionPublisher's Version/PDF
dc.contributor.institutionDigital Security Department, EURECOM, Biot, France.
dc.identifier.volume09
dc.identifier.issue06
dc.identifier.pages174-190
kaust.personDacier, Marc
refterms.dateFOA2021-08-15T11:13:36Z


Files in this item

Thumbnail
Name:
TTCN3_inmap-t_Vitale_dacier_JCC2021.pdf
Size:
489.0Kb
Format:
PDF
Description:
Published Version

This item appears in the following Collection(s)

Show simple item record

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