TLS clients testing

The paper presents a model-based approach to conformance testing of TLS implementations. It discusses the formal model of TLS protocol, the structure of the test suite. JavaTesK tool, based on UniTESK technology, was used to develop the test suite. A set of fuzz operators was developed for general d...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Trudy Instituta sistemnogo programmirovaniâ Jg. 27; H. 2; S. 145 - 160
Hauptverfasser:	Nikeshin, A.V., Pakulin, N.V., Shnitman, V.Z.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
Schlagworte:	ssl tls unitesk верификация мутационное тестирование тестирование тестирование с использованием моделей формальные методы формальные спецификации
ISSN:	2079-8156, 2220-6426
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!