PatrIoT: Policy Assisted Resilient Programmable IoT System

Moosa Yahyazadeh, Syed Rafiul Hussain, Endadul Hoque, Omar Chowdhury

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper presents PatrIoT, which efficiently monitors the behavior of a programmable IoT system at runtime and suppresses contemplated actions that violate a given declarative policy. Policies in PatrIoT are specified in effectively propositional, past metric temporal logic and capture the system’s expected temporal invariants whose violation can break its desired security, privacy, and safety guarantees. PatrIoT has been instantiated for not only an industrial IoT system (EVA ICS) but also for two home representative automation platforms: one proprietary (SmartThings) and another open-source (OpenHAB). Our empirical evaluation shows that, while imposing only a moderate runtime overhead, PatrIoT can effectively detect policy violations.

Original languageEnglish (US)
Title of host publicationRuntime Verification - 20th International Conference, RV 2020, Proceedings
EditorsJyotirmoy Deshmukh, Dejan Nickovic
PublisherSpringer Science and Business Media Deutschland GmbH
Pages151-171
Number of pages21
ISBN (Print)9783030605070
DOIs
StatePublished - 2020
Event20th International Conference on Runtime Verification, RV 2020 - Los Angeles, United States
Duration: Oct 6 2020Oct 9 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12399 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th International Conference on Runtime Verification, RV 2020
CountryUnited States
CityLos Angeles
Period10/6/2010/9/20

Keywords

  • IoT systems
  • Policy enforcement
  • Runtime monitoring

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'PatrIoT: Policy Assisted Resilient Programmable IoT System'. Together they form a unique fingerprint.

Cite this