Security analysis of authentication protocols for next-generation mobile and CE cloud services | IEEE Conference Publication | IEEE Xplore