| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A Formal TLS Handshake Model in LNT
Abstract : Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These faults have their roots in the software development cycle or because of intrinsic leaks in the system specification. Conformance testing checks whether a system behaves according to its specification. Here model-based testing provides several methods for automated detection of shortcomings. The formal specification of a system behavior represents the starting point of the testing process. In this paper, a widely used cryptographic protocol is specified and tested for conformance with a test execution framework. The first empirical results are presented and discussed.
Cited literature [17 references]
https://hal.inria.fr/hal-01779151
Contributor : Radu Mateescu <>
Submitted on : Thursday, April 26, 2018 - 2:14:50 PM
Last modification on : Tuesday, February 9, 2021 - 3:10:03 PM
Long-term archiving on: : Tuesday, September 25, 2018 - 12:27:48 PM
Contributor : Radu Mateescu <>
Submitted on : Thursday, April 26, 2018 - 2:14:50 PM
Last modification on : Tuesday, February 9, 2021 - 3:10:03 PM
Long-term archiving on: : Tuesday, September 25, 2018 - 12:27:48 PM
File
Bozic-Marsso-Mateescu-Wotawa-1...
Files produced by the author(s)