Edit StudentProjectForm: Security analysis of IIoT connectivity protocols

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Summary:	MANDATORY: (provide a one-line* summary of the project)*
Programme:	OPTIONAL: (Name and the number of credits)
Keywords:	OPTIONAL: (Give 4-5 keywords)
TimeFrame:	MANDATORY: (Indicate time for the project, for example, Fall 2024)
References:	Eldefrawy, Mohamed, Ismail Butun, Nuno Pereira, and Mikael Gidlund. "Formal security analysis of LoRaWAN." Computer Networks 148 (2019): 328-339. Gebremichael, Teklay, Lehlogonolo PI Ledwaba, Mohamed H. Eldefrawy, Gerhard P. Hancke, Nuno Pereira, Mikael Gidlund, and Johan Akerberg. "Security and Privacy in the Industrial Internet of Things: Current Standards and Future Challenges." IEEE Access 8 (2020): 152351-152366. Patel, C. and Doshi, N., 2020. A Novel MQTT Security framework In Generic IoT Model. Procedia Computer Science, 171, pp.1399-1408. Singh, V.K. and Sharan, H.O., 2019. Security Analysis and Improvements to IoT Communication Protocols-CoAP. OPTIONAL: (Give 2-3 references for students to start with)
Prerequisites:	OPTIONAL: (Courses, any other important information)
Supervisor(s):	MANDATORY: (can be multiple names, coma-separated)
Examiner:	OPTIONAL: (Name of project Examiner)
Author(s):	OPTIONAL: (can be multiple names, coma-separated)
Level:	MANDATORY: choose one, preferably <Master>
Status:	MANDATORY: choose <Open> when the topic is ready for students to select

Project description (free text)

Give a concise project description. Include:

Research question
Whether it’s more software or hardware related
A very brief description of 3-4 work packages
Deliverables/outcomes/results

Potential security vulnerabilities of IIoTs platform connectivity protocols, such as CoAP and MQTT will be studied. Then, these protocols will be analyzed using a formal security analysis tool, such as Scyther. The formal model will help reveal unreported flaws in the IIoT connectivity protocols, and consequently, improvement in such protocols can be introduced. These improvements should take into consideration the constrained nature of IIoT in terms of memory, processing power, and energy consumption. The Scyther model will present practical illustrations for such protocols that can be formally examined and investigated against predefined security claims.

Summary:

This is a minor edit Watch this page

Cancel

Edit StudentProjectForm: Security analysis of IIoT connectivity protocols

Navigation menu

Views

Personal tools

Search

Tools