Security and Safety Verification in IoT Apps
Lobna Abuserrieh, Manar H. Alalfi · 2023
Innovative Internet of Things (IoT) technologies promise to automate users' routines, thereby improving their daily lives. With the rapid increase in IoT-connected devices, unexpected behaviors resulting from unplanned or unanticipated interactions between numerous IoT applications pose significant risks, particularly in critical domains like healthcare systems, automotive, manufacturing, and smart cities. This thesis proposes a Model-Driven Engineering (MDE) approach to support the verification of safety and security properties in interacting heterogeneous IoT applications. The proposed method intends to apply to both existing IoT applications and those under development, ensuring these apps operate safely and securely in their interactions.