Open access
Oct 2026
MQTT-HS: A formally verified and proxy-mediated hybrid security protocol for MQTT-based IoT networks
The results support the feasibility of MQTT-HS under the evaluated prototype configuration, and the modeled secrecy, authentication, replay-resistance, message-flow agreement, and epoch-key secrecy properties of the cryptographic core are verified.
M. Almalki, Majid Alshammari
· Journal of King Saud Univers... · 0 citations