A novel and provably secure authentication and key agreement scheme with user anonymity for global mobility networks

Security and Communication Networks

Volumn 9, Issue 16, 2016, Pages 3527-3542

  Wu, Fan ^a   Xu, Lili ^b   Kumari, Saru ^c   Li, Xiong ^d   Das, Ashok Kumar ^e   Khan, Muhammad Khurram ^f   Karuppiah, Marimuthu ^g   Baliyan, Renuka ^h  

^a XIAMEN INSTITUTE OF TECHNOLOGY   (China)

^b XIAMEN UNIVERSITY   (China)

^c CH CHARAN SINGH UNIVERSITY   (India)

^d HUNAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^e INTERNATIONAL INSTITUTE OF INFORMATION TECHNOLOGY   (India)

^f KING SAUD UNIVERSITY   (Saudi Arabia)

^g VIT UNIVERSITY   (India)

^h Subharti Institute of Technology and Engineering   (India)

Author keywords

formal proof; formal verification; global mobility network; mutual authentication; smart card

Indexed keywords

AUTHENTICATION; COMPUTER CRIME; COPYRIGHTS; FORMAL VERIFICATION; MOBILE TELECOMMUNICATION SYSTEMS; PERSONAL COMMUNICATION SYSTEMS; SMART CARDS;

AUTHENTICATION SCHEME; DE-SYNCHRONIZATION ATTACKS; FORMAL PROOFS; GLOBAL MOBILITY NETWORK; MOBILE COMMUNICATION DEVICES; MUTUAL AUTHENTICATION; TWO FACTOR AUTHENTICATION; UBIQUITOUS NETWORKS;

NETWORK SECURITY;

EID: 84978173214     PISSN: 19390114     EISSN: 19390122     Source Type: Journal    
DOI: 10.1002/sec.1558     Document Type: Article

References (36)

1. Wu F, Xu L. Security analysis and improvement of a privacy authentication scheme for telecare medical information systems. Journal of Medical Systems 2013; 37(4). Article ID: 9958.
2. Li X, Ma J, Wang W, Xiong Y, Zhang J. A novel smart card and dynamic id based remote user authentication scheme for multi-server environments. Mathematical and Computer Modelling 2013; 58(1): 85–95.
3. Li X, Niu J, Khan MK, Liao J. An enhanced smart card based remote user password authentication scheme. Journal of Network and Computer Applications 2013; 36(5): 1365–1371.
4. Jiang Q, Ma J, Li G, Yang L. An efficient ticket based authentication protocol with unlinkability for wireless access networks. Wireless Personal Communications 2014; 77(2): 1489–1506.
5. Jiang Q, Ma J, Lu X, Tian Y. An efficient two-factor user authentication scheme with unlinkability for wireless sensor networks. Peer-to-Peer Networking and Applications 2015; 8(6): 1070–1081.
6. Xu L, Wu F. An improved and provable remote user authentication scheme based on elliptic curve cryptosystem with user anonymity. Security and Communication Networks 2015; 8(2): 245–260.
7. Wu F, Xu L, Kumari S, Li X. A novel and provably secure biometrics-based three-factor remote authentication scheme for mobile client cserver networks. Computers & Electrical Engineering 2015; 45: 274–285.
8. Xu L, Wu F. Cryptanalysis and improvement of a user authentication scheme preserving uniqueness and anonymity for connected health care. Journal of Medical Systems 2015; 39(2): 1–9.
9. Wu F, Xu L, Kumari S, Li X. An improved and anonymous two-factor authentication protocol for health-care applications with wireless medical sensor networks. Multimedia Systems 2015. DOI: 10.1007/s00530-015-0476-3.
10. Wu F, Xu L, Kumari S, Li X. A new and secure authentication scheme for wireless sensor networks with formal proof. Peer-to-Peer Networking and Applications 2015. DOI: 10.1007/s12083-015-0404-5.
11. Ren Y, Shen J, Wang J, Han J, Lee S. Mutual verifiable provable data auditing in public cloud storage. Journal of Internet Technology 2015; 16(2): 317–323.
12. Wu F, Xu L, Kumari S, Li X. A privacy-preserving and provable user authentication scheme for wireless sensor networks based on internet of things security. Journal of Ambient Intelligence and Humanized Computing 2016. DOI: 10.1007/s12652-016-0345-8.
13. Jiang Q, Khan MK, Lu X, Ma J, He D. A privacy preserving three-factor authentication protocol for e-health clouds. The Journal of Supercomputing 2016. DOI: 10.1007/s11227-015-1610-x.
14. Jiang Q, Wei F, Fu S, Ma J, Li G, Alelaiwi A. Robust extended chaotic maps-based three-factor authentication scheme preserving biometric template privacy. Nonlinear Dynamics 2016; 83(4): 2085–2101.
15. Guo P, Wang J, Geng XueHua, Kim ChangSeob, Kim Jeong-Uk. A variable threshold-value authentication architecture for wireless mesh networks. Journal of Internet Technology 2014; 15(6): 929–935.
16. Wu F, Xu L. An improved and provable self-certified digital signature scheme with message recovery. International Journal of Communication Systems 2015; 28(2): 344–357.
17. Zhu J, Ma J. A new authentication scheme with anonymity for wireless environments. IEEE Transactions on Consumer Electronics 2004; 50(1): 231–235.
18. Lee CC, Hwang MS, Liao IE. Security enhancement on a new authentication scheme with anonymity for wireless environments. IEEE Transactions on Industrial Electronics 2006; 53(5): 1683–1687.
19. Wu CC, Lee WB, Tsaur WJ. A secure authentication scheme with anonymity for wireless communications. IEEE Communications Letters 2008; 12(10): 722–723.
20. Chang CC, Lee CY, Chiu YC. Enhanced authentication scheme with anonymity for roaming service in global mobility networks. Computer Communications 2009; 32(4): 611–618.
21. Youn TY, Park YH, Lim J. Weaknesses in an anonymous authentication scheme for roaming service in global mobility networks. IEEE Communications Letters 2009; 13(7): 471–473.
22. He D, Ma M, Zhang Y, Chen C, Bu J. A strong user authentication scheme with smart cards for wireless communications. Computer Communications 2011; 34(3): 367–374.
23. Mun H, Han K, Lee YS, Yeun CY, Choi HH. Enhanced secure anonymous authentication scheme for roaming service in global mobility networks. Mathematical and Computer Modelling 2012; 55(1): 214–222.
24. Kim JS, Kwak J. Secure and efficient anonymous authentication scheme in global mobility networks. Journal of Applied Mathematics 2013; 2013. Article ID: 302582.
25. Jiang Q, Ma J, Li G, Yang L. An enhanced authentication scheme with privacy preservation for roaming service in global mobility networks. Wireless Personal Communications 2013; 68(4): 1477–1491.
26. Shin S, Yeh H, Kim K. An efficient secure authentication scheme with user anonymity for roaming user in ubiquitous networks. Peer-to-peer Networking and Applications 2015; 8(4): 674–683.
27. Wen F, Susilo W, Yang G. A secure and effective anonymous user authentication scheme for roaming service in global mobility networks. Wireless Personal Communications 2013; 73(3): 993–1004.
28. Farash MS, Chaudhry SA, Heydari M, Sadough S, Mohammad S, Kumari S, Khan MK. A lightweight anonymous authentication scheme for consumer roaming in ubiquitous networks with provable security. International Journal of Communication Systems 2015. DOI: 10.1002/dac.3019.
29. Zhang G, Fan D, Zhang Y, Li X, Liu X. A privacy preserving authentication scheme for roaming services in global mobility networks. Security and Communicaton Networks 2015; 8: 2850–2859.
30. Gope P, Hwang T. Lightweight and energy-efficient mutual authentication and key agreement scheme with user anonymity for secure communication in global mobility networks. IEEE Systems Journal 2015. DOI: 10.1109/JSYST.2015.2416396.
31. Gope P, Hwang T. An efficient mutual authentication and key agreement scheme preserving strong anonymity of the mobile user in global mobility networks. Journal of Network and Computer Applications 2016; 62: 1–8.
32. Wang D, He D, Wang P, Chu CH. Anonymous two-factor authentication in distributed systems: certain goals are beyond attainment. IEEE Transactions on Dependable and Secure Computing 2015; 12(4): 428–442.
33. Kocher P, Jaffe J, Jun B. Differential power analysis. In Advances in Cryptology-CRYPTO'99. Springer Berlin Heidelberg: Santa Barbara, California, USA, 388–397; 1999.
34. Messerges TS, Dabbish EA, Sloan RH. Examining smart-card security under the threat of power analysis attacks. IEEE Transactions on Computers 2002; 51(5): 541–552.
35. Mangard S, Oswald E, Standaert FX. One for all call for one: unifying standard differential power analysis attacks. IET Information Security 2011; 5(2): 100–110.
36. Bresson E, Chevassut O, Pointcheval D. Security proofs for an efficient password-based key exchange. Proceedings of the 10th ACM Conference on Computer and Communications Security, ACM New York, Washington, DC, USA, 2003; 241–250.