1. Efficient privacy-preserving authentication scheme for roaming consumer in global mobility networks;Ostad-Sharif;International Journal of Communication Systems,2019
2. A secure biometric-based authentication protocol for global mobility networks in smart cities;Ghahramani;J Supercomput,2020
3. Cremers C. Scyther, semantics and verification of security protocols. Ph.D. dissertationEindhoven University of Technology; 2006.
4. Novel anonymous key establishment protocol for isolated smart meters;Abbasinezhad-Mood;IEEE Trans Ind Electron,2019
5. Smart city definition, goals and performance;Dameri,2017