Conformance testing of Extensible Authentication Protocol implementations

The paper presents a model-based approach to conformance testing of Extensible Authentication Protocol (EAP) implementations. Conformance testing is the basic tool to ensure interoperability between implementations of a protocol. Using UniTESK technology allows automating the verification of network...

Fuld beskrivelse

Bibliografiske detaljer

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