The future of Internet of Things (IoT) foresees a world of interconnected people with every physical object in a seamless manner. The security related aspects for the IoT world are still an open field of discussion and research. The Message Queue Telemetry Transport (MQTT) application layer protocol is widely used in IoT networks. Since, MQTT standard has no mandatory requirements regarding the security services, therefore, manipulating the security related issues is different in MQTT platforms. This paper proposes a novel security protocol. It is the Protected Message Queue Telemetry Transport (PMQTT) protocol which is based on MQTT with added cryptographic primitives to offer security services for IoT systems. Moreover, a formal verification for a PMQTT protocol is conducted using the ProVerif cryptographic automated verifier tool to prove that the PMQTT protocol satisfies the intended security properties.

物联网（IoT）的未来可以预见，人们将以无缝的方式与每个物理对象相互连接。物联网领域与安全相关的方面仍然是讨论和研究的开放领域。消息队列遥测传输（MQTT）应用层协议广泛用于IoT网络。由于MQTT标准对安全服务没有强制性要求，因此，在MQTT平台中处理与安全相关的问题是不同的。本文提出了一种新颖的安全协议。它是基于MQTT的受保护消息队列遥测传输（PMQTT）协议，带有添加的加密原语，可为IoT系统提供安全服务。此外，。