Security analysis of a cocktail protocol with the authentication and key agreement on the UMTS | IEEE Journals & Magazine | IEEE Xplore