Dagens IoT-system inkluderar händelsedrivna smarta applikationer (appar) som interagerar med sensorer och ställdon. Ett problem som är specifikt för IoT-system är att buggiga appar, oförutsedda dåliga appinteraktioner, eller enhets-/kommunikationsfel, kan orsaka osäkra och farliga fysiska tillstånd. Upptäcka brister som leder till sådana tillstånd, kräver en helhetsbild av installerade appar, komponentenheter, deras konfigurationer, och ännu viktigare, hur de interagerar. I detta dokument designar vi IotSan, ett nytt praktiskt system som använder modellkontroll som ett byggblock för att avslöja "interaktionsnivå" brister genom att identifiera händelser som kan leda systemet till osäkra tillstånd. I byggnaden IotSan designar vi nya tekniker anpassade till IoT-system, för att lindra den statliga explosionen i samband med modellkontroll. IotSan översätter också automatiskt IoT-appar till ett format som kan användas för modellkontroll. Slutligen, för att förstå grundorsaken till en upptäckt sårbarhet, vi utforma en tilldelningsmekanism för att identifiera problematiska och potentiellt skadliga appar. Vi utvärderar IotSan på Samsung SmartThings plattform. Från 76 manuellt konfigurerade system upptäcker IotSan 147 sårbarheter. Vi utvärderar också IotSan med skadliga SmartThings-appar från en tidigare insats. IotSan upptäcker potentiella säkerhetsöverträdelser och tillskriver också effektivt dessa appar som skadliga.
Nguyen m.fl. REF design IoTSan, ett system som använder modellkontroll för att avslöja kors-app interaktionsflöden.
IoTSan: Fortifying the Safety of IoT Systems
{'venue': "CoNEXT '18", 'journal': None, 'mag_field_of_study': ['Computer Science']}