"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.