Formal Modeling of Greedy Behavior in Secure Internet of Things Networks

Yassine Boufenneche (1) , Nawel Gharbi (1) , Rafik Zitouni (2) , Laurent George (3)

1 USTHB - Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]
2 ECE Paris
3 LIGM - Laboratoire d'Informatique Gaspard-Monge

In the Internet of Things (IoT) paradigm, objects should communicate through secure wireless channels and would be able to connect to the Internet. IEEE 802.15.4e and its old versions are the de-facto standards for Wireless Sensor Networks (WSNs) based IoT. IEEE 802.15.4e and its old versions define a slotted CSMA-CA medium access control and physical layer of WSNs. The IoT may experience a multitude of malicious attacks. One critical attack that threatens the network availability is the greedy behavior. In this paper, we propose a UPPAAL model to describe greedy and sane behaviors of IoT devices. We are interested in the contention access period of the beacon-enabled mode of the slotted CSMA-CA. The developed model shows that we can assess and identify both honest and greedy devices. However, it is the first step towards thwarting this attack.

Domaines: Réseaux et télécommunications [cs.NI]

Yassine Boufenneche, Nawel Gharbi, Rafik Zitouni, Laurent George. Formal Modeling of Greedy Behavior in Secure Internet of Things Networks. 2019 Eleventh International Conference on Ubiquitous and Future Networks (ICUFN), Jul 2019, Zagreb, Croatia. pp.188-193, ⟨10.1109/ICUFN.2019.8806168⟩. ⟨hal-03570198⟩