Conformance testing of Extensible Authentication Protocol implementations
2018; Institute for System Programming of the Russian Academy of Sciences (ISPRAS); Volume: 30; Issue: 6 Linguagem: Inglês
10.15514/ispras-2018-30(6)-5
ISSN2220-6426
AutoresAlexei Viacheslavovich Nikeshin, Victor Zinovievich Shnitman,
Tópico(s)Formal Methods in Verification
ResumoThe 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 protocols based on their formal models. Additional applying of mutation testing allows evaluating the robustness of the implementations to receive incorrect packets. We applied the test suite to several implementations of EAP and present brief results. This approach has proved to be effective in finding several critical vulnerabilities and other specification deviations in the EAP implementations.
Referência(s)