Crossmark

Security model design and formal verification of MQTT protocol

Crossref DOI link: https://doi.org/10.1007/s42452-025-07749-w

Published Online: 2025-10-16

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Gao, Chengtai https://orcid.org/0000-0003-4858-3578
Xi, Xiaohui https://orcid.org/0009-0007-1815-4779
Zhang, Chunyan
License Information

Text and Data Mining valid from 2025-10-16

Version of Record valid from 2025-10-16
More Information

Article History

Received: 8 April 2025

Accepted: 8 September 2025

First Online: 16 October 2025

Declarations

:

: Not applicable.

: Not applicable.

: The authors declare no competing interests.