Incremental Fingerprinting in an Open World
Preprint
Abstract
Network protocol fingerprinting is used to identify a protocol implementation by analyzing its input-output behavior. Traditionally, fingerprinting operates under a closed-world assumption, where models of all implementations are assumed to be available. However, this assumption is unrealistic in practice. When this assumption does not hold, fingerprinting results in numerous misclassifications without indicating that a model for an implementation is missing. Therefore, we introduce an open-world variant of the fingerprinting problem, where not all models are known in advance. We propose an incremental fingerprinting approach to solve the problem by combining active automata learning with closed-world fingerprinting. Our approach quickly determines whether the implementation under consideration matches an available model using fingerprinting and conformance checking. If no match is found, it learns a new model by exploiting the structure of available models. We prove the correctness of our approach and improvements in asymptotic complexity compared to naive baselines. Moreover, experimental results on a variety of protocols demonstrate a significant reduction in misclassifications and interactions with these black-boxes.Keywords
All Related Versions
This publication has 39 references indexed in Scilit:
- State Matching and Multiple References in Adaptive Active Automata Learning2024
- Towards a Systematic and Automatic Use of State Machine Inference to Uncover Security Flaws and Fingerprint TLS Stacks2022
- Family-Based Fingerprint Analysis: A Position Paper2022
- Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning2022
- A New Approach for Active Automata Learning Based on Apartness2022
- Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning2021
- Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning2020
- The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning2014
- Grey-Box Checking2006
- Adaptive Model Checking2002