Crossmark

Verification of RabbitMQ with Kerberos Using Timed Automata

Published Online: 2022-05-09

Published Print: 2022-10

Authors

Li, Ran https://orcid.org/0000-0002-3492-1591
Yin, Jiaqi

Zhu, Huibiao

Vinh, Phan Cong
License Information

Text and Data Mining valid from 2022-05-09

Version of Record valid from 2022-05-09
More Information

Article History

Accepted: 4 April 2022

First Online: 9 May 2022

Declarations

:

: We have no competing interests to declare that are relevant to the content of this article. This article does not involve ethics issues.

Document is current