NDLI: Proposing and verifying a security-enhanced protocol for IoT-based communication for medical devices

Content Provider	Springer Nature Link
Author	Han, Kun Hee Bae, Woo Sik
Copyright Year	2016
Abstract	Internet of things technology has recently drawn much attention across industries. IoT technology has gradually been applied to industries and everyday life in general including healthcare, where people can access hospital information systems to view personal health and medical information. Still, due to security vulnerabilities, personal health and medical information is prone to hacking attacks. Thus, concerns over privacy invasion have come to the fore, and at the same time security issues are considered to override information services. This paper proposes a communication protocol based on hash lock, session keys, random numbers and security keys designed to be safe against intruders’ hacking attempts in information communication between medical devices. Instead of arguing for the safety of the proposed protocol with mathematical theorem proving as in prior research on protocol proving, this paper verifies the safety of the proposed authentication protocol against a range of attacks using a model checking program, Casper/FDR program. In brief, the proposed communication protocol for medical devices is safe and secure against diverse attacks.
Starting Page	2335
Ending Page	2341
Page Count	7
File Format	PDF
ISSN	13867857
Journal	Cluster Computing
Volume Number	19
Issue Number	4
e-ISSN	15737543
Language	English
Publisher	Springer US
Publisher Date	2016-11-04
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	IoT security Security protocol Authentication protocol Model checking IoT authentication Processor Architectures Operating Systems Computer Communication Networks
Content Type	Text
Resource Type	Article
Subject	Computer Networks and Communications Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Proposing and verifying a security protocol for hash function-based IoT communication system

Function-based connection protocol development and verification for secure communication in vehicle environment

High-dimentional data authentication protocol based on hash chain for Hadoop systems

Designing and verifying a P2P service security protocol in M2M environment

Software model checking for resources race

An improved P2P lookup protocol model

End-to-end security scheme for Machine Type Communication based on Generic Authentication Architecture

Security analysis of a proposed internet of things middleware

Software Service Signature (S3) for authentication in cloud computing

Proposing and verifying a security-enhanced protocol for IoT-based communication for medical devices

Similar Documents

Proposing and verifying a security protocol for hash function-based IoT communication system

Function-based connection protocol development and verification for secure communication in vehicle environment

High-dimentional data authentication protocol based on hash chain for Hadoop systems

Designing and verifying a P2P service security protocol in M2M environment

Software model checking for resources race

An improved P2P lookup protocol model

End-to-end security scheme for Machine Type Communication based on Generic Authentication Architecture

Security analysis of a proposed internet of things middleware

Software Service Signature (S3) for authentication in cloud computing

Proposing and verifying a security-enhanced protocol for IoT-based communication for medical devices