Problem in automation of IoT protocols.

[Praveen Soni]

Hello there,

My name is Parvin Kumar, and I'm a PhD student at Purdue University.  I went through the manual document of "Tamarin" and I want to use this tool in my research work. I tried to learn, how to specify new protocols (IoT protocol) in Tamarin. 

I'm trying to develop a model for the MQTT protocol that can detect attacks. Could anyone of you help me, please? Waiting for a kind reply according to your earliest convenience, I thank you for your attention and wish you a pleasant day!! 

Sincerely,

-Parvin Kumar.