[BHGB24]
Abdelhakim Baouya, Brahim Hamid, Levent Gürgen and Saddek Bensalem.
Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games.
Internet of Things.
2024.
[Performs a formal security analysis of the RabbitMQ broker using PRISM-games.]
|
