Online citations, reference lists, and bibliographies.
Please confirm you are human
(Sign Up for free to never see this)
← Back to Search

A Secure User Anonymity And Authentication Scheme Using AVISPA For Telecare Medical Information Systems

Omid Mir, T. Weide, C. Lee
Published 2015 · Computer Science, Medicine

Save to my Library
Download PDF
Analyze on Scholarcy
Share
Telecare medicine information systems (TMIS) have been known as an effective mechanism to increase quality and security of healthcare services. In other to the protection of patient privacy, several authentication schemes have been proposed in TMIS, however, most of them have a security problems. Recently, Das proposed a secure and robust password-based remote user authentication scheme for the integrated EPR information system. However, in this paper, we show that his scheme have some security flaws. Then, we shall propose a secure authentication scheme to overcome their weaknesses. We prove the proposed scheme with random oracle and also use the BAN logic to prove the correctness of the proposed scheme. Furthermore, we simulate our scheme for the formal security analysis using the AVISPA (Automated Validation of Internet Security Protocols and Applications) tool.
This paper references
10.1016/j.future.2010.08.007
Security enhancement on an improvement on two remote user authentication schemes using smart cards
Tien-Ho Chen (2011)
Cryptanalysis and security enhancement of a more efficient and secure dynamic id-based remote user authentication
Khan (2010)
10.1016/j.ins.2015.02.010
A secure temporal-credential-based mutual authentication and key agreement scheme with pseudo identity for wireless sensor networks
D. He (2015)
10.3837/tiis.2013.01.008
An Extended Multi-Server-Based User Authentication and Key Agreement Scheme with User Anonymity
C. Li (2013)
10.1007/s10916-012-9856-9
An Efficient Authentication Scheme for Telecare Medicine Information Systems
Zhian Zhu (2012)
10.1007/s10916-014-0077-2
A Secure Chaotic Maps and Smart Cards Based Password Authentication and Key Agreement Scheme with User Anonymity for Telecare Medicine Information Systems
C. Li (2014)
10.1007/s10916-013-0001-1
The SAMS: Smartphone Addiction Management System and Verification
Heyoung Lee (2013)
A secure temporalcredential-based mutual authentication and key agreement scheme with pseudo identity for wireless sensor
D. He (2015)
10.1109/JIOT.2014.2360121
An Analysis of RFID Authentication Schemes for Internet of Things in Healthcare Environment Using Elliptic Curve Cryptography
D. He (2015)
10.1007/s10916-012-9911-6
Robust Anonymous Authentication Scheme for Telecare Medical Information Systems
Qi Xie (2012)
HLPSL tutorial: a beginner's guide to modelling and analysing Internet security protocols. Available at URL: www.avispa-project.org
Avispa The (2005)
10.1007/s10916-011-9658-5
A More Secure Authentication Scheme for Telecare Medicine Information Systems
He Debiao (2012)
10.1007/s10916-015-0204-8
A Secure and Robust Password-Based Remote User Authentication Scheme Using Smart Cards for the Integrated EPR Information System
A. K. Das (2015)
Automated Validation of Internet Security Protocols and Applications. http://www.avispa-project.org/. Accessed on
Avispa (2013)
10.1007/s10916-013-9954-3
An Authentication Scheme for Secure Access to Healthcare Services
M. Khan (2013)
10.1016/j.eswa.2014.07.004
A secure user anonymity-preserving biometric-based multi-server authenticated key agreement scheme using smart cards
Dheerendra Mishra (2014)
10.1007/s10916-013-9929-4
On the Security of A Dynamic ID-based Authentication Scheme for Telecare Medical Information Systems
Han-yu Lin (2013)
10.1007/s10916-012-9902-7
A Uniqueness-and-Anonymity-Preserving Remote User Authentication Scheme for Connected Health Care
Y. Chang (2012)
10.1007/s10916-010-9614-9
A Secure Authentication Scheme for Telecare Medicine Information Systems
Z. Wu (2010)
10.1007/s11042-014-2282-x
An efficient and secure authentication and key agreement scheme for session initiation protocol using ECC
Hamed Arshad (2014)
10.1109/TCE.2014.6780922
Enhanced three-factor security protocol for consumer USB mass storage devices
D. He (2014)
10.1049/iet-ifs.2012.0058
A new password authentication and user anonymity scheme based on elliptic curve cryptography and smart card
C. Li (2013)
10.1145/77648.77649
A logic of authentication
M. Burrows (1990)
10.1109/30.826377
A new remote user authentication scheme using smart cards
M. Hwang (2000)
Advances in Smartcard Security
M. Witteman (2002)
10.1016/j.comcom.2010.02.011
Cryptanalysis and security enhancement of a 'more efficient & secure dynamic ID-based remote user authentication scheme'
M. Khan (2011)
Cryptography and Network Security: Principles and Practice
W. Stallings (1998)
10.1007/S11277-013-1282-X
Cryptanalysis and Improvement of an Anonymous Authentication Protocol for Wireless Access Networks
D. He (2014)
10.1007/s11277-015-2538-4
A Secure Biometrics Based Authentication with Key Agreement Scheme in Telemedicine Networks for E-Health Services
Omid Mir (2015)
10.1109/TC.2002.1004593
Examining Smart-Card Security under the Threat of Power Analysis Attacks
Thomas S. Messerges (2002)
10.1093/ietcom/e88-b.9.3765
Improvement of One-Time Password Authentication Scheme Using Smart Cards
Narn-Yih Lee (2005)
10.1007/11513988_27
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
A. Armando (2005)
10.1007/s10916-011-9658-5
A More Secure Authentication Scheme for Telecare Medicine Information Systems
D. He (2011)
10.1007/s10916-015-0194-6
An Improved Biometrics-Based Authentication Scheme for Telecare Medical Information Systems
Dianli Guo (2015)
10.1007/s10916-014-0116-z
Lightweight ECC Based RFID Authentication Integrated with an ID Verifier Transfer Protocol
D. He (2014)
10.1109/TCE.2004.1309441
A dynamic ID-based remote user authentication scheme
M. Das (2004)
Cryptography and Network Security - Principles and Practice
T. Si (2015)
10.1007/s10916-012-9835-1
An Improved Authentication Scheme for Telecare Medicine Information Systems
Jianghong Wei (2012)
10.1109/MCOM.2015.7010518
Authentication protocol for an ambient assisted living system
D. He (2015)
10.1002/dac.1158
Lightweight and provably secure user authentication with anonymity for the global mobility network
Chun Chen (2011)
10.1145/1880022.1880027
A Simple and Generic Construction of Authenticated Encryption with Associated Data
P. Sarkar (2010)
10.1007/s10916-014-0136-8
Three-Factor Anonymous Authentication and Key Agreement Scheme for Telecare Medicine Information Systems
Hamed Arshad (2014)
10.1007/s10916-013-9933-8
A Secure Smart-Card Based Authentication and Key Agreement Scheme for Telecare Medicine Information Systems
Tian-Fu Lee (2013)
10.1007/s10916-014-0142-x
An Efficient Biometric and Password-Based Remote User Authentication using Smart Card for Telecare Medical Information Systems in Multi-Server Environment
Tanmoy Maitra (2014)
10.1007/s10916-014-0143-9
A Privacy Authentication Scheme Based on Cloud for Medical Environment
C. Chen (2014)
10.2991/ICCSEE.2013.156
An Improved Dynamic ID-based Remote User Authentication with Key Agreement Scheme for Multi-server Environment
Zhen-zhen Wang (2013)
10.1007/s10916-012-9912-5
Improved Dynamic ID-based Authentication Scheme for Telecare Medical Information Systems
Tianjie Cao (2012)
10.1007/s10916-014-0042-0
A More Secure Anonymous User Authentication Scheme for the Integrated EPR Information System
F. Wen (2014)
10.1002/sec.791
Cryptanalysis and Improvement of "An Efficient and Secure Dynamic ID-based Authentication Scheme for Telecare Medical Information Systems"
M. Khan (2014)
10.1007/s10916-014-0026-0
An Improved Anonymous Authentication Scheme for Telecare Medical Information Systems
F. Wen (2014)
of Internet Security Protocols and Applications
AVISPA. Automated Validatio (2013)
A secure temporalcredential-based mutual authentication and key agreement scheme with pseudo identity for wireless sensor networks
D He (2015)
10.1109/IADCC.2010.5423004
An improvement of Liao et al.'s authentication scheme using smart cards
S. Sood (2010)
10.1155/2013/786587
An Improved Dynamic ID-Based Remote User Authentication with Key Agreement Scheme
Juan Qu (2013)
10.1007/s10916-015-0218-2
A Secure User Anonymity-Preserving Three-Factor Remote User Authentication Scheme for the Telecare Medicine Information Systems
A. K. Das (2015)
Passwordbased mutual authentication scheme using smart cards
T. F. Lee (2010)
An efficient and secure authentication and key agreement scheme for session initiation protocol using ECC.Multimedia
H. Arshad (2014)
An efficient and secure authentication and key agreement scheme for session initiation protocol using ECC. Multimedia Tool Appl
H Arshad (2014)
10.1007/s10916-012-9862-y
An Efficient and Secure Dynamic ID-based Authentication Scheme for Telecare Medical Information Systems
H. Chen (2012)



This paper is referenced by
10.1002/dac.3361
A secure authentication and key agreement scheme for roaming service with user anonymity
Hamed Arshad (2017)
10.1145/3278576.3278603
An Improved User Authentication Scheme for Telecare Medical Information Systems
R. Madhusudhan (2018)
10.1007/s11227-017-2200-x
An improved low-cost yoking proof protocol based on Kazahaya’s flaws
N. Bagheri (2017)
The 8 th International Conference on Ambient Systems , Networks and Technologies ( ANT 2017 ) Investigating Security for Ubiquitous Sensor Networks
A. Péreza (2018)
10.1049/IET-NET.2019.0004
ElGamal cryptosystem-based secure authentication system for cloud-based IoT applications
Tanmoy Maitra (2019)
A Study on Authentication Factors in Electronic Health Records
Manoj Jayabalan ()
Towards a virtual domain based authentication solution for the MapReduce application
Ibrahim Lahmer (2018)
10.1016/j.procs.2017.05.432
Investigating Security for Ubiquitous Sensor Networks
A. Perez (2017)
10.1016/j.jnca.2017.03.003
A survey and taxonomy of the authentication schemes in Telecare Medicine Information Systems
M. Masdari (2017)
10.1371/journal.pone.0154308
An Enhanced Biometric Based Authentication with Key-Agreement Protocol for Multi-Server Architecture Based on Elliptic Curve Cryptography
Alavalapati Goutham Reddy (2016)
10.1007/s10916-017-0720-9
A Mutual Authentication Framework for Wireless Medical Sensor Networks
J. Srinivas (2017)
10.1007/s10916-016-0521-6
A Provably Secure RFID Authentication Protocol Based on Elliptic Curve for Healthcare Environments
M. Farash (2016)
10.1007/s10916-016-0526-1
Evaluation of Digital Compressed Sensing for Real-Time Wireless ECG System with Bluetooth low Energy
Y. Wang (2016)
10.1145/3384943.3409417
DAMFA: Decentralized Anonymous Multi-Factor Authentication
Omid Mir (2020)
10.1007/s11042-018-6884-6
A robust authentication scheme for telecare medical information systems
R. Madhusudhan (2018)
10.1007/s10916-017-0817-1
Wavelet-based Encoding Scheme for Controlling Size of Compressed ECG Segments in Telecardiology Systems
A. Al-Busaidi (2017)
10.2147/SHTT.S112907
Health care professionals’ perception of security of personal health devices
Brian Ondiege (2017)
10.1007/s10916-016-0474-9
A Secure Cloud-Assisted Wireless Body Area Network in Mobile Emergency Medical Care System
C. Li (2016)
10.1007/s11227-017-2106-7
A Scalable and Lightweight Grouping Proof Protocol for Internet of Things Applications
S. Rostampour (2017)
10.1007/s11042-016-3704-8
A lightweight authentication and key agreement protocol preserving user anonymity
M. Nikooghadam (2016)
10.1007/S12652-018-1088-5
A quadratic residue-based RFID authentication protocol with enhanced security for TMIS
Zhiping Zhou (2019)
10.1007/s12652-017-0485-5
A lightweight and anonymous RFID tag authentication protocol with cloud assistance for e-healthcare applications
F. Wu (2018)
10.1016/j.jisa.2020.102539
An enhanced mutual authentication and key establishment protocol for TMIS using chaotic map
V. Sureshkumar (2020)
10.1007/s11042-020-08983-7
An improved user authentication scheme for electronic medical record systems
R. Madhusudhan (2020)
10.1007/s10916-015-0420-2
VehiHealth: An Emergency Routing Protocol for Vehicular Ad Hoc Network to Support Healthcare System
S. Bhoi (2015)
10.1007/s12652-017-0516-2
Security analysis and improvement of bio-hashing based three-factor authentication scheme for telecare medical information systems
Qi Jiang (2018)
10.1007/s11277-017-4474-y
Security Analysis and Enhancement of the Most Recent RFID Authentication Protocol for Telecare Medicine Information System
M. Benssalah (2017)
10.1007/s11227-017-2204-6
A key agreement authentication protocol using an improved parallel Pollard rho for electronic payment system
O. Vincent (2017)
10.3745/JIPS.03.0094
Security and Privacy in Ubiquitous Sensor Networks
A. Perez (2018)
10.1007/s10916-016-0480-y
A Visualization System for Interactive Exploration of the Cardiac Anatomy
Lei Zhang (2016)
10.1007/s10916-016-0596-0
Analysis of Security Protocols for Mobile Healthcare
M. Wazid (2016)
10.1016/j.cmpb.2016.07.028
Secure anonymity-preserving password-based user authentication and session key agreement scheme for telecare medicine information systems
Anil Kumar Sutrala (2016)
See more
Semantic Scholar Logo Some data provided by SemanticScholar