Verification of RabbitMQ with Kerberos Using Timed Automata-Reference-Cited by-同舟云学术

Verification of RabbitMQ with Kerberos Using Timed Automata

Published:2022-05-09 Issue:5 Volume:27 Page:2049-2067
ISSN:1383-469X
Container-title:Mobile Networks and Applications
language:en
Short-container-title:Mobile Netw Appl

Author:

Li Ran^ORCID,Yin Jiaqi,Zhu Huibiao,Vinh Phan Cong

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Information Systems,Software

Link

https://link.springer.com/content/pdf/10.1007/s11036-022-01986-8.pdf

Reference35 articles.

1. Kinoshita M, Konoura H, Koike T, Leibnitz K, Murata M (2017) High throughput dequeuing technique in distributed message queues for IoT. J Inf Process 25:199–208

2. Jiang Y, Liu Q, Qin C, Su J, Liu Q (2019) Message-oriented middleware: A review. In: BigCom. IEEE, pp 88–97

3. Liu Y, Zhang L J, Xing C (2020) Review for message-oriented middleware. In: Internet of Things - ICIOT 2020. Springer International Publishing, Cham, pp 152–159

4. VMware (2022) RabbitMQ. https://www.rabbitmq.com/. Accessed 6 March 2022

5. Apache (2022a) Kafka. https://kafka.apache.org/. Accessed 6 March 2022

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games;Internet of Things;2024-07

2. Accelerator network monitoring system based on microservices architecture;Radiation Detection Technology and Methods;2024-05-20

3. An Interaction Platform Design Method Based on Multi-Level Layering;2023 3rd International Signal Processing, Communications and Engineering Management Conference (ISPCEM);2023-11-25

4. Formalization and Verification of Enhanced Group Communication CoAP;International Journal of Software Engineering and Knowledge Engineering;2023-10-12

5. Context-awareness and Nature of Computation and Communication;Mobile Networks and Applications;2022-04-07