Integrity Verification for Streaming IoT Applications with a Minimalist Logging Scheme

With the emergence of Internet of Things (IoT) ecosystem, edge devices are deployed to collect, process, and forward data on the edge side of the network. Such edge or fog processing model is increasingly being used for critical applications, often in environments where devices can be compromised. This paper considers a number of attacks that can negatively impact streaming IoT applications, and develop solutions to verify the integrity of the applications. We focus on premature code execution and overwriting of devices generated outputs, and propose a minimalist logging scheme for periodic verification with the use of hash-chains and Merkle Hash Tree (MHT).