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...
Main Author: | |
---|---|
Other Authors: | |
Language: | English en |
Published: |
2017
|
Subjects: | |
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 |