SecureSmartHomeApp

SecureSmartHomeApp – Entwicklung sicherer mobiler Anwendungen zur Steuerung von Smarthome-Systemen

Das Vorhaben SecureSmartHomeApp ist ein Verbundprojekt mit den Partnern neusta mobile solutions GmbH und dem TZI der Universität Bremen. Ziel des Projektes ist die systematische Sicherheitsanalyse von App-gesteuerten Smarthome-Systemen sowie die Entwicklung einer Referenzsicherheitsarchitektur für solche Systeme. Die Referenzsicherheitsarchitektur wird dabei in einem Formalismus wie z.B. UML/OCL definiert, so dass hieraus automatisch Programmcode für eine sichere Smarthome-App erzeugt werden kann. Sowohl für die statische Programmanalyse der Smarthhome-Apps als auch für die Code-Erzeugung werden unterstützende Werkezuge entwickelt. Diese Werkzeuge und Konzepte werden bei der Entwicklung einer konkreten, sicheren Smarthome-App angewendet. Der Beitrag des TZI besteht in der systematischen Sicherheitsanalyse von App-gesteuerten Smarthome-Systemen, der formalen Definition einer Referenzsicherheitsarchitektur und der Konzeption von Werkzeugen, die die sichere Entwicklung solcher Systeme unterstützen.

Laufzeit: 01.01.2017 - 31.12.2018

Projektpartner: neusta mobile solutions GmbH

Förderer: BMBF