@inproceedings{46ed6c3fffdc4486887006f69453afe8,
title = "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.",
author = "Josip Bozic and Lina Marsso and Radu Mateescu and Franz Wotawa",
year = "2018",
month = mar,
day = "23",
doi = "10.4204/EPTCS.268.1",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
publisher = "National ICT Australia Ltd",
pages = "1--40",
booktitle = "Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS",
note = "3rd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, MARSVPT 2018 ; Conference date: 20-04-2018",
}