PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Integrated Security for IoT: Methodologies and Certification for Collaborative Smart Devices

keywords CYBER SECURITY, IOT, MODEL CHECKING

Reference persons LUCA ARDITO

External reference persons Alessandro Aldini

Research Groups DAUIN - GR-16 - SOFTWARE ENGINEERING GROUP - SOFTENG

Thesis type EXPERIMENTAL

Description The thesis proposal is about the setting of collaborative IoT smart devices and the need, in this context, for mechanisms certifying the security-compliant integration between device-specific APIs and generic functionalities provided by third-party application developers. In particular, the project aims to design a set of mechanisms and methodologies to be used as building blocks for such a certification framework. As a practical application, it will be possible to test the proposed approach on a proof-of-concept prototype for a Smart Home environment. The specific techniques and approaches cover security-by-design, access control and policy enforcement, model-based compliance analysis techniques, model checking and formal verification.

Required skills Internet of Things
Cybersecurity
Security by Design
Compliance Analysis
Model Checking


Deadline 04/11/2024      PROPONI LA TUA CANDIDATURA