Towards a formal analysis of MQTT protocol in the context of communicating vehicles

S Chouali, A Boukerche, A Mostefaoui - Proceedings of the 15th ACM …, 2017 - dl.acm.org
The paper presents a formal approach to model, analyze, and verify a variant of Message
Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) …
被引用次数：14 相关文章

Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles

S Chouali, A Boukerche, A Mostefaoui - International Symposium on …, 2017 - hal.science
The paper presents a formal approach to model, analyze, and verify a variant of Message
Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) …