Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue (Data Paper) Internet of Things Année : 2024

Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games

Résumé

Modern Internet of Things architectures encompass various computational logic and communication protocols. However, the security issues inherent in these systems pose significant risks, especially at the device edges. Addressing security threats on the deployed communication edges is imperative to ensure a robust and secure communication system. In this study, we propose an approach that utilizes the Concurrent Stochastic Game model (CSG) to specify the behavior of RabbitMQ Broker in the context of IoT systems precisely while considering potential data corruption attacks. For parametrizable evaluation, these attacks and their frequencies are learned. We implement the CSG model in PRISM games for automated analysis, leveraging reward Probabilistic Alternating Temporal Logic (rPATL) to model security requirements as game goals. Empirical validation of the work is presented via an industrial case study that shows how data corruption attacks can impact the sensed data in water dam infrastructure. This assessment gives valuable insights into the RabbitMQ deployment at the edge.
Fichier non déposé

Dates et versions

hal-04549958 , version 1 (17-04-2024)

Identifiants

Citer

Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem. Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games. Internet of Things, 2024, 26 (July), pp.101161. ⟨10.1016/j.iot.2024.101161⟩. ⟨hal-04549958⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More