Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh. Verification of RabbitMQ with Kerberos Using Timed Automata. MONET, 27(5):2049-2067, 2022. [doi]
@article{LiYZV22,
title = {Verification of RabbitMQ with Kerberos Using Timed Automata},
author = {Ran Li and Jiaqi Yin and Huibiao Zhu and Phan Cong Vinh},
year = {2022},
doi = {10.1007/s11036-022-01986-8},
url = {https://doi.org/10.1007/s11036-022-01986-8},
researchr = {https://researchr.org/publication/LiYZV22},
cites = {0},
citedby = {0},
journal = {MONET},
volume = {27},
number = {5},
pages = {2049-2067},
}