Modelling of a Communication Protocol for IoT based Applications
Internet of Things (IoT) connected devices will be reaching people seamlessly in future days. The security aspects for the IoT domain have always been open field of research and analysis. Each of the IoT protocols have its own strength and vulnerabilities. The Message Queue Telemetry Transport (M...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Tese |
| Idioma: | inglês |
| Publicado em: |
DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING
2021
|
| Acesso em linha: | http://dspace.mist.ac.bd:8080/xmlui/handle/123456789/666 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
| _version_ | 1868227051406753792 |
|---|---|
| author | NURUS SALAM, MOHAMMAD |
| author_browse | NURUS SALAM, MOHAMMAD |
| author_facet | NURUS SALAM, MOHAMMAD |
| author_sort | NURUS SALAM, MOHAMMAD |
| collection | DSpace |
| description | Internet of Things (IoT) connected devices will be reaching people seamlessly in
future days. The security aspects for the IoT domain have always been open
field of research and analysis. Each of the IoT protocols have its own strength
and vulnerabilities. The Message Queue Telemetry Transport (MQTT)
application layer IoT protocol is widely used in present day’s context. Since,
MQTT standard has no mandatory requirements regarding the security
services; therefore, manipulating the security issues in MQTT platforms
seems very easy. This thesis analyzes the security of MQTT protocol. Basing
on the analysis, a security enhanced MQTT protocol is proposed. The proposed
protocol is based with added cryptographic primitives to offer security
services for IoT system. Mutual authentication between subscriber and broker,
mutual authentication between publisher and broker, authentication with key
distribution, use of only symmetric key cryptography are the few salient
features of the proposed enhanced MQTT protocol. This thesis also conducts
a formal verification for the proposed MQTT protocol to prove that the
proposed protocol satisfies the intended security attributes. The evaluation
result validates that the proposed protocol ensures the secrecy property of the
cryptographic credentials and hence, operates securely. |
| format | Thesis |
| id | oai:localhost:123456789-666 |
| institution | My University |
| language | English |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING |
| publisherStr | DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING |
| record_format | dspace |
| spelling | oai:localhost:123456789-6662021-10-07T03:35:14Z Modelling of a Communication Protocol for IoT based Applications NURUS SALAM, MOHAMMAD Internet of Things (IoT) connected devices will be reaching people seamlessly in future days. The security aspects for the IoT domain have always been open field of research and analysis. Each of the IoT protocols have its own strength and vulnerabilities. The Message Queue Telemetry Transport (MQTT) application layer IoT protocol is widely used in present day’s context. Since, MQTT standard has no mandatory requirements regarding the security services; therefore, manipulating the security issues in MQTT platforms seems very easy. This thesis analyzes the security of MQTT protocol. Basing on the analysis, a security enhanced MQTT protocol is proposed. The proposed protocol is based with added cryptographic primitives to offer security services for IoT system. Mutual authentication between subscriber and broker, mutual authentication between publisher and broker, authentication with key distribution, use of only symmetric key cryptography are the few salient features of the proposed enhanced MQTT protocol. This thesis also conducts a formal verification for the proposed MQTT protocol to prove that the proposed protocol satisfies the intended security attributes. The evaluation result validates that the proposed protocol ensures the secrecy property of the cryptographic credentials and hence, operates securely. 2021-10-07T03:35:14Z 2021-10-07T03:35:14Z 2021-05 Thesis http://dspace.mist.ac.bd:8080/xmlui/handle/123456789/666 en application/pdf application/pdf application/pdf application/pdf DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING |
| spellingShingle | NURUS SALAM, MOHAMMAD Modelling of a Communication Protocol for IoT based Applications |
| title | Modelling of a Communication Protocol for IoT based Applications |
| title_full | Modelling of a Communication Protocol for IoT based Applications |
| title_fullStr | Modelling of a Communication Protocol for IoT based Applications |
| title_full_unstemmed | Modelling of a Communication Protocol for IoT based Applications |
| title_short | Modelling of a Communication Protocol for IoT based Applications |
| title_sort | modelling of a communication protocol for iot based applications |
| url | http://dspace.mist.ac.bd:8080/xmlui/handle/123456789/666 |
| work_keys_str_mv | AT nurussalammohammad modellingofacommunicationprotocolforiotbasedapplications |