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...

Full description

Saved in:

Bibliographic Details
Published in:	Trudy Instituta sistemnogo programmirovaniâ Vol. 27; no. 2; pp. 145 - 160
Main Authors:	Nikeshin, A.V., Pakulin, N.V., Shnitman, V.Z.
Format:	Journal Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
Subjects:	ssl tls unitesk верификация мутационное тестирование тестирование тестирование с использованием моделей формальные методы формальные спецификации
ISSN:	2079-8156, 2220-6426
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!