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