IoTSan: Fortifying the Safety of IoT Systems

Dang Tu Nguyen
Dang Tu Nguyen
Edward J. M. Colbert
Edward J. M. Colbert

CoNEXT, 2018.

Cited by: 28|Bibtex|Views73|DOI:https://doi.org/10.1145/3281411.3281440
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|arxiv.org

Abstract:

Todayu0027s IoT systems include event-driven smart applications (apps) that interact with sensors and actuators. A problem specific to IoT systems is that buggy apps, unforeseen bad app interactions, or device/communication failures, can cause unsafe and dangerous physical states. Detecting flaws that lead to such states, requires a holis...More

Code:

Data:

Your rating :
0

 

Tags
Comments