Test Suite development for verification of TLS security protocol

Despite the fact that TLS and its predecessor SSL are in use for more than 15 years, there are no accepted public conformance test suite for those protocols. Implementers do have their own test suites, but the primary objective of those tests are internals of the corresponding implementation rather...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman.
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	тестирование верификация формальные методы формальные спецификации mbt тестирование с использованием моделей модели программ tls ssl javatesk unitesk
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/991