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

Fuld beskrivelse

Bibliografiske detaljer

Principais autores:	A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman.
Format:	Artigo
Sprog:	Inglês
Udgivet:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Serier:	Труды Института системного программирования РАН
Fag:	тестирование верификация формальные методы формальные спецификации mbt тестирование с использованием моделей модели программ tls ssl javatesk unitesk
Online adgang:	https://ispranproceedings.elpub.ru/jour/article/view/991
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!