Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example

Fulltext:


Authors:

Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin

Research group:

Cyber-Physical Systems Analysis

Publication Type:

Conference/Workshop Paper

Venue:

8th International Conference on Engineering of Computer-based Systems

Publisher:

Springer

DOI:

10.1007/978-3-031-49252-5_13

Abstract

Near-Field Communication (NFC) is a widely adopted standard for embedded low-power devices in very close proximity. In order to ensure a correct system, it has to comply to the ISO/IEC 14443 standard. This paper concentrates on the low-level part of the protocol (ISO/IEC 14443-3) and presents a method and a practical implementation that complements traditional conformance testing. We infer a Mealy state machine of the system-under-test using active automata learning. This automaton is checked for bisimulation with a specification automaton modelled after the standard, which provides a strong verdict of conformance or non-conformance. As a by-product, we share some observations of the performance of different learning algorithms and calibrations in the specific setting of ISO/IEC 14443-3, which is the difficulty to learn models of system that a) consist of two very similar structures and b) very frequently give no answer (i.e. a timeout as an output).

Bibtex

@inproceedings{Marksteiner6837,
author = {Stefan Marksteiner and Marjan Sirjani and Mikael Sj{\"o}din},
title = {Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example},
month = {October},
year = {2023},
booktitle = {8th International Conference on Engineering of Computer-based Systems},
publisher = {Springer},
url = {http://www.es.mdu.se/publications/6837-}
}