Conference material: "Scientific service & Internet: proceedings of the 21th All-Russian Scientific Conference (September 23-28, 2019, Novorossiysk)"
Authors:Nikeshin A.V., Shnitman V.Z.
EAP Clients verification
This paper presents the experience of verification of EAP authentication Protocol client implementations. EAP – a widely used authentication Protocol that implements a large set of cryptographic algorithms and allows you to dynamically select the desired authentication process. The EAP Protocol defines a variety of methods for its purposes, including both simple checksum - based methods and tunnel methods that involve the creation of a secure tunnel within which other authentication methods are used. The paper used a new test set developed using UniTESK technology and methods of mutation testing as well as team developments in the testing of network protocols. UniTESK technology allows to automate the verification process of network protocols on the basis of their formal models, and mutation testing methods allow to test the stability of the Protocol implementation to distorted messages.