Verification of RabbitMQ with Kerberos Using Timed Automata

RabbitMQ, an implementation of Advanced Message Queuing Protocol (AMQP), is a very popular message middleware. It supports concurrency, guarantees sequential consistency, and enables independent applications and services to communicate. Consequently, it is of great significance to ensure the secure...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Mobile networks and applications 2022-10, Vol.27 (5), p.2049-2067
Hauptverfasser:	Li, Ran, Yin, Jiaqi, Zhu, Huibiao, Vinh, Phan Cong
Format:	Artikel
Sprache:	eng
Schlagworte:	Communication Communications Engineering Computer Communication Networks Concurrency Consistency Electrical Engineering Engineering Formal method IT in Business Messages Middleware Networks Queueing Security Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!