A Formal TLS Handshake Model in LNT - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

A Formal TLS Handshake Model in LNT

Josip Bozic
  • Function : Author
  • PersonId : 994797
Lina Marsso
  • Function : Author
  • PersonId : 1006713
Radu Mateescu
  • Function : Author
  • PersonId : 834239
Franz Wotawa
  • Function : Author
  • PersonId : 994796


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.
Fichier principal
Vignette du fichier
Bozic-Marsso-Mateescu-Wotawa-18.pdf (474.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01779151 , version 1 (26-04-2018)



Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa. A Formal TLS Handshake Model in LNT. MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.1 - 40, ⟨10.4204/EPTCS.268.1⟩. ⟨hal-01779151⟩
347 View
320 Download



Gmail Facebook X LinkedIn More