| 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