Сделать только практическую часть: описать протоколы (TLS, DTLS, IPsec, SSL, MQTT, CoAP, AMQP, XMPP, DDS, LwM2M, Zigbee IP, Z-Wave S2, OPCua, WebSockets, Thread, 6LoWPAN) на языке HLPSL согласно актуальным документам RFC и.т.п и проанализировать в инструменте AVISPA SPAN.