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

Celý popis

Podrobná bibliografie

Hlavní autoři:	A. V. Nikeshin, V. Z. Shnitman
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2019-02-01
Edice:	Труды Института системного программирования РАН
Témata:	тестирование верификация формальные методы формальные спецификации тестирование с использованием моделей безопасность аутентификация контроль доступа eap методы eap unitesk мутационное тестирование
On-line přístup:	https://ispranproceedings.elpub.ru/jour/article/view/1122
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!