Projekte pro Jahr
Abstract
Active automata learning is a technique to automatically infer behavioral models of black-box systems. Today’s learning algorithms enable the deduction of models that describe complex system properties, e.g., timed or stochastic behavior. Despite recent improvements in the scalability of learning algorithms, their practical applicability is still an open issue. Little work exists that actually learns models of physical black-box systems. To fill this gap in the literature, we present a case study on applying automata learning on the Bluetooth Low Energy (BLE) protocol. It shows that not the size of the system limits the applicability of automata learning. Instead, the interaction with the system under learning, is a major bottleneck that is rarely discussed. In this paper, we propose a general automata learning architecture for learning a behavioral model of the BLE protocol implemented by a physical device. With this framework, we can successfully learn the behavior of five investigated BLE devices. The learned models reveal several behavioral differences. This shows that automata learning can be used for fingerprinting black-box devices, i.e., identifying systems via their specific learned models. Based on the fingerprint, an attacker may exploit vulnerabilities specific to a device
Originalsprache | englisch |
---|---|
Titel | Formal Methods - 24th International Symposium, FM 2021, Proceedings |
Redakteure/-innen | Marieke Huisman, Corina Păsăreanu, Naijun Zhan |
Erscheinungsort | Cham |
Herausgeber (Verlag) | Springer |
Seiten | 524-542 |
Seitenumfang | 19 |
ISBN (elektronisch) | 978-3-030-90870-6 |
ISBN (Print) | 978-3-030-90869-0 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2021 |
Veranstaltung | 24th International Symposium on Formal Methods: FM' 2021 - Virtuell, China Dauer: 20 Nov. 2021 → 26 Nov. 2021 |
Publikationsreihe
Name | Lecture Notes in Computer Science |
---|---|
Band | 13047 |
ISSN (Print) | 0302-9743 |
ISSN (elektronisch) | 1611-3349 |
Konferenz
Konferenz | 24th International Symposium on Formal Methods |
---|---|
Kurztitel | FM' 2021 |
Land/Gebiet | China |
Ort | Virtuell |
Zeitraum | 20/11/21 → 26/11/21 |
ASJC Scopus subject areas
- Theoretische Informatik
- Allgemeine Computerwissenschaft
Fingerprint
Untersuchen Sie die Forschungsthemen von „Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning“. Zusammen bilden sie einen einzigartigen Fingerprint.Projekte
- 2 Abgeschlossen
-
LearnTwins - Lernende Digitale Zwillinge zur Validierung und Verifizierung von abhängigen Cyber-Physikalischen Systemen
1/12/20 → 30/11/23
Projekt: Forschungsprojekt
-
Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Forschungsprojekt