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

Celý popis

Podrobná bibliografia

Vydané v:	Trudy Instituta sistemnogo programmirovaniâ Ročník 27; číslo 2; s. 145 - 160
Hlavní autori:	Nikeshin, A.V., Pakulin, N.V., Shnitman, V.Z.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
Predmet:	ssl tls unitesk верификация мутационное тестирование тестирование тестирование с использованием моделей формальные методы формальные спецификации
ISSN:	2079-8156, 2220-6426
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!