Verification of RabbitMQ with Kerberos Using Timed Automata

Autor:	Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
Rok vydání:	2022
Předmět:	Computer Networks and Communications Hardware and Architecture Software Information Systems
Zdroj:	Mobile Networks and Applications. 27:2049-2067
ISSN:	1572-8153 1383-469X
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f7271da075012ab4d2c6a92b5e6274a3 https://doi.org/10.1007/s11036-022-01986-8 Zobrazit plný text záznamu Full text from SpringerLink