Inter-device authentication protocol for the Internet of Things

The Internet of things (IoT) recently blossomed remarkably and has been transforming the everyday physical entities around us into an ecosystem of information that will enrich our lives in unimaginable ways. Authentication is one of the primary goals of security in the IoT and acts as the main gatew...

Full description

Bibliographic Details
Main Author: Wilson, Preethy
Other Authors: Gebali, Fayez
Language:English
en
Published: 2017
Subjects:
Fog
Online Access:http://hdl.handle.net/1828/8139
id ndltd-uvic.ca-oai-dspace.library.uvic.ca-1828-8139
record_format oai_dc
spelling ndltd-uvic.ca-oai-dspace.library.uvic.ca-1828-81392017-05-20T17:25:07Z Inter-device authentication protocol for the Internet of Things Wilson, Preethy Gebali, Fayez Authentication Internet of Things (IoT) Smart Homes Smart Home Network AVISPA/SPAN AVISPA Internet Security Cryptography Encryption Asymmetric Cryptography Shared Session Key Private Key Public Key Cloud Fog Security HLPSL Quality Metrics Simulation Protocol Simulation Attacker Simulation Formal Verification Verification Multi-protocol Attack Reflection Attack OFMC CL-AtSe Communication Computing Mutual Authentication Device-to-device inter-device machine-to-machine Attacks The Internet of things (IoT) recently blossomed remarkably and has been transforming the everyday physical entities around us into an ecosystem of information that will enrich our lives in unimaginable ways. Authentication is one of the primary goals of security in the IoT and acts as the main gateway to a secure system which transmits confidential and/or private data.This thesis focuses on a Device-to-Device Mutual Authentication Protocol, designed for the smart home network, which is an essential component of communication in the Internet of Things(IoT). The protocol has been developed based on asymmetric cryptography to authenticate the devices in the network and for the devices to agree on a shared secret session key. In order to ensure the security of a communications session between the devices, the session keys are changed frequently - ideally after every communication session. The proposed scheme has been programmed in HLPSL, simulated and its efficiency verified using the SPAN/ AVISPA tool. When SPAN substantiates the protocol simulation and the attacker simulation, the back-ends of the AVISPA tool verifies the safety and security of the proposed authentication protocol. The thesis also evaluates the protocol's security against the attacks successful against protocols proposed by other researchers. Graduate 0544 0984 0537 pwilson1@uvic.ca 2017-05-18T20:39:45Z 2017-05-18T20:39:45Z 2017 2017-05-18 Thesis http://hdl.handle.net/1828/8139 English en Available to the World Wide Web
collection NDLTD
language English
en
sources NDLTD
topic Authentication
Internet of Things (IoT)
Smart Homes
Smart Home Network
AVISPA/SPAN
AVISPA
Internet Security
Cryptography
Encryption
Asymmetric Cryptography
Shared Session Key
Private Key
Public Key
Cloud
Fog
Security
HLPSL
Quality Metrics
Simulation
Protocol Simulation
Attacker Simulation
Formal Verification
Verification
Multi-protocol Attack
Reflection Attack
OFMC
CL-AtSe
Communication
Computing
Mutual Authentication
Device-to-device
inter-device
machine-to-machine
Attacks
spellingShingle Authentication
Internet of Things (IoT)
Smart Homes
Smart Home Network
AVISPA/SPAN
AVISPA
Internet Security
Cryptography
Encryption
Asymmetric Cryptography
Shared Session Key
Private Key
Public Key
Cloud
Fog
Security
HLPSL
Quality Metrics
Simulation
Protocol Simulation
Attacker Simulation
Formal Verification
Verification
Multi-protocol Attack
Reflection Attack
OFMC
CL-AtSe
Communication
Computing
Mutual Authentication
Device-to-device
inter-device
machine-to-machine
Attacks
Wilson, Preethy
Inter-device authentication protocol for the Internet of Things
description The Internet of things (IoT) recently blossomed remarkably and has been transforming the everyday physical entities around us into an ecosystem of information that will enrich our lives in unimaginable ways. Authentication is one of the primary goals of security in the IoT and acts as the main gateway to a secure system which transmits confidential and/or private data.This thesis focuses on a Device-to-Device Mutual Authentication Protocol, designed for the smart home network, which is an essential component of communication in the Internet of Things(IoT). The protocol has been developed based on asymmetric cryptography to authenticate the devices in the network and for the devices to agree on a shared secret session key. In order to ensure the security of a communications session between the devices, the session keys are changed frequently - ideally after every communication session. The proposed scheme has been programmed in HLPSL, simulated and its efficiency verified using the SPAN/ AVISPA tool. When SPAN substantiates the protocol simulation and the attacker simulation, the back-ends of the AVISPA tool verifies the safety and security of the proposed authentication protocol. The thesis also evaluates the protocol's security against the attacks successful against protocols proposed by other researchers. === Graduate === 0544 === 0984 === 0537 === pwilson1@uvic.ca
author2 Gebali, Fayez
author_facet Gebali, Fayez
Wilson, Preethy
author Wilson, Preethy
author_sort Wilson, Preethy
title Inter-device authentication protocol for the Internet of Things
title_short Inter-device authentication protocol for the Internet of Things
title_full Inter-device authentication protocol for the Internet of Things
title_fullStr Inter-device authentication protocol for the Internet of Things
title_full_unstemmed Inter-device authentication protocol for the Internet of Things
title_sort inter-device authentication protocol for the internet of things
publishDate 2017
url http://hdl.handle.net/1828/8139
work_keys_str_mv AT wilsonpreethy interdeviceauthenticationprotocolfortheinternetofthings
_version_ 1718450122221682688