TLS Handshake Model

Description:Formal TLS handshake model
Author(s):Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
Event(s): MARS'18
Paper(s): A Formal TLS Handshake Model in LNT


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.


    1. Download Model
    2. Browse Model
    3. tool(s): LNT (CADP)
Creative Commons License    This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.