Towards Standardization of MQTT-Alert-based Sensor Networks: Protocol Structures Formalization and Low-End Node Security. - Georgios Vrettos; Evangelos Logaras; Emmanouil Kalligeros (SIES, 2018)