Amin, Ruhul, SK Hafizul Islam, Arijit Karati, and G. P. Biswas. "Design of an enhanced authentication protocol and its verification using AVISPA." In 3rd International Conference on Recent Advances in Information Technology (RAIT). Dhanbad, India , 2016.