Design of an enhanced authentication protocol and its verification using AVISPA | IEEE Conference Publication | IEEE Xplore