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

Full description

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

Similar Items

TLS clients testing
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

Test Suite development for verification of TLS security protocol
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

Automation of conformance testing for communication protocols
by: Nikolay Pakulin, et al.
Published: (2018-10-01)

Model-based testing of Internet Mail Protocols
by: N. V. Pakulin, et al.
Published: (2018-10-01)

The review of Extensible Authentication Protocol and its methods
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

Evolution of UniTESK Test Development Technology
by: V. Kuliamin, et al.
Published: (2018-10-01)

Formal specifications-based automation of system testing of hardware designs
by: M. M. Chupilko.
Published: (2018-10-01)

How the story of UniTESK technology applications mirrors development of model based testing
by: V. P. Ivannikov, et al.
Published: (2018-10-01)

Applying High-Level Function Loop Invariants for Machine Code Deductive Verification
by: Pavel Andreevitch Putro
Published: (2019-09-01)

Testing of Operating Systems
by: E. A. Gerlits, et al.
Published: (2018-10-01)

Combining ACSL Specifications and Machine Code
by: P. A. Putro
Published: (2018-10-01)

Conformance testing based on a state relation
by: Igor B. Burdonov, et al.
Published: (2018-10-01)

Адаптация модели GOMS для мобильных приложений
by: А. В. Уженцева, et al.
Published: (2024-05-01)

Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification
by: J. C. Carrasquel, et al.
Published: (2018-10-01)

Integration Points of Operating System Verification Techniques
by: A. K. Petrenko, et al.
Published: (2018-10-01)

Component-based verification of operating systems
by: V. V. Kuliamin, et al.
Published: (2019-02-01)

Linux kernel configuration build for application systems
by: S. V. Kozin
Published: (2019-02-01)

A Survey of Methods and Tools for Test Program Generation for Microprocessors
by: A. D. Tatarnikov
Published: (2018-10-01)

Development of tests for computer-based testing
by: M I Belyaev
Published: (2011-09-01)

Model Based Testing Framework Using Component Technologies
by: Victor V. Kuliamin.
Published: (2018-10-01)

Software Product Lines Modeling
by: K. M. Lavrischeva, et al.
Published: (2018-10-01)

О применени программного обеспечения тестирующего контроля при дистанционном обучении специалистов по оперативно-тактической деятельности
by: Иван Полевода, et al.
Published: (2019-02-01)

The technique of probability reference distribution law finding at кеу sequence statistical testing
by: N. G. Kiyevets, et al.
Published: (2019-06-01)

Рекомендации по применению фармакогенетического тестирования в клинической практике
Published: (2018-06-01)

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms
by: A. . Kamkin, et al.
Published: (2018-10-01)

Computing Transition Priorities for Live Petri Nets
by: Kirill Gennadievitch Serebrennikov
Published: (2019-10-01)

Mechanically Proved Practical Local Null Safety
by: A. V. Kogtenkov
Published: (2018-10-01)

INFORMATION SYSTEM QUALITY CONTROL KNOWLEDGE
by: Vladimir Nikolaevich Babeshko
Published: (2017-02-01)

ADV_SPM - Formal security policy models in practice
by: A. V. Khoroshilov, et al.
Published: (2018-10-01)

Тестирование специальной подготовленности теннисистов: зарубежный опыт
by: Леонід Прокопович Сергієнко [Leonid Serhiyenko]
Published: (2013-12-01)

Avalanche: Using dynamic analysis for automatic defect detection in programs based on network sockets
by: Ildar Isaev, et al.
Published: (2018-10-01)

Methodology of assessing competencies of university graduates
by: R. B. Karaseva
Published: (2017-08-01)

Model-Based Testing for MANETs
by: Stéphane Maag
Published: (2018-10-01)

Analysis of associations between pharmacodynamic genetic factors and antipsychotics’ effectiveness and safety in adolescents with acute psychotic episodes taking antipsychotics during a 28-day follow-up
by: D. V. Ivaschenko, et al.
Published: (2021-08-01)

Intelligent adaptive testing system
by: L. F. Tagirova, et al.
Published: (2024-12-01)

Associations of CYP2D6, ABCB1 2677G>T/A and 3435C>T with effectiveness and safety of pharmacotherapy for acute psychotic episodes in adolescents over 28 days
by: D. V. Ivaschenko, et al.
Published: (2021-12-01)

On the problem of representation of the formal model of security policy for operating systems
by: P. N. Devyanin
Published: (2018-10-01)

Conformance theory development: semantics, formal models, algorithms
by: Igor Burdonov, et al.
Published: (2018-10-01)

Combinatorial generation of operation system software configurations
by: V. V. Kuliamin
Published: (2018-10-01)

Method of selecting between manual and automated testing based on the software product features
by: EkaterinaY. . Galimova, et al.
Published: (2016-12-01)