Chaotic Map-Based Anonymous User Authentication Scheme With User Biometrics and Fuzzy Extractor for Crowdsourcing Internet of Things

被引:151
作者
Roy, Sandip [1 ]
Chatterjee, Santanu [2 ]
Das, Ashok Kumar [3 ]
Chattopadhyay, Samiran [4 ]
Kumari, Saru [5 ]
Jo, Minho [6 ]
机构
[1] Asansol Engn Coll, Dept Comp Sci & Engn, Asansol 713305, India
[2] Def Res & Dev Org, Res Ctr Imarat, Hyderabad 500069, India
[3] Int Inst Informat Technol, Ctr Secur Theory & Algorithm Res, Hyderabad 500032, India
[4] Jadavpur Univ, Dept Informat Technol, Kolkata 700098, India
[5] Chaudhary Charan Singh Univ, Dept Math, Meerut 250005, Uttar Pradesh, India
[6] Korea Univ, Dept Comp Convergence Software, Sejong 30019, South Korea
来源
IEEE INTERNET OF THINGS JOURNAL | 2018年 / 5卷 / 04期
基金
新加坡国家研究基金会;
关键词
Biometrics; Burrows-Abadi-Needham (BAN) logic; chaotic map; crowdsourcing; Internet of Things (IoT); ProVerif; 1.93; security; user authentication; KEY AGREEMENT SCHEME; SMART-CARDS; SECURITY; PROTOCOL; EFFICIENT; COMMUNICATION; ENVIRONMENT; FRAMEWORK;
D O I
10.1109/JIOT.2017.2714179
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The recent proliferation of mobile devices, such as smartphones and wearable devices has given rise to crowdsourcing Internet of Things (IoT) applications. E-healthcare service is one of the important services for the crowdsourcing IoT applications that facilitates remote access or storage of medical server data to the authorized users (for example, doctors, patients, and nurses) via wireless communication. As wireless communication is susceptible to various kinds of threats and attacks, remote user authentication is highly essential for a hazard-free use of these services. In this paper, we aim to propose a new secure three-factor user remote user authentication protocol based on the extended chaotic maps. The three factors involved in the proposed scheme are: 1) smart card; 2) password; and 3) personal biometrics. As the proposed scheme avoids computationally expensive elliptic curve point multiplication or modular exponentiation operation, it is lightweight and efficient. The formal security verification using the widely-accepted verification tool, called the ProVerif 1.93, shows that the presented scheme is secure. In addition, we present the formal security analysis using the both widely accepted real-or-random model and Burrows-Abadi-Needham logic. With the combination of high security and appreciably low communication and computational overheads, our scheme is very much practical for battery limited devices for the healthcare applications as compared to other existing related schemes.
引用
收藏
页码:2884 / 2895
页数:12
相关论文
共 43 条
  • [1] Mobile values, new names, and secure communication
    Abadi, M
    Fournet, C
    [J]. ACM SIGPLAN NOTICES, 2001, 36 (03) : 104 - 115
  • [2] Abadi M, 2009, LECT NOTES COMPUT SC, V5643, P35, DOI 10.1007/978-3-642-02658-4_5
  • [3] Abdalla M, 2005, LECT NOTES COMPUT SC, V3386, P65
  • [4] [Anonymous], 1993, ACM CCS 1993, DOI DOI 10.1145/168588.168596
  • [5] [Anonymous], 2013, J. Med. Syst.
  • [6] [Anonymous], 2004, 2004332 CRYPT EPRINT
  • [7] [Anonymous], 2013, J. Med. Syst.
  • [8] Security of public-key cryptosystems based on Chebyshev polynomials
    Bergamo, P
    D'Arco, P
    De Santis, A
    Kocarev, L
    [J]. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2005, 52 (07) : 1382 - 1393
  • [9] Logic of authentication
    Burrows, Michael
    Abadi, Martin
    Needham, Roger
    [J]. Operating Systems Review (ACM), 1989, 23 (05): : 1 - 13
  • [10] Secure Signature-Based Authenticated Key Establishment Scheme for Future IoT Applications
    Challa, Sravani
    Wazid, Mohammad
    Das, Ashok Kumar
    Kumar, Neeraj
    Reddy, Alavalapati Goutham
    Yoon, Eun-Jun
    Yoo, Kee-Young
    [J]. IEEE ACCESS, 2017, 5 : 3028 - 3043