@inproceedings{f96ac9c027da413aadacc68a6f5c171a,
title = "PatrIoT: Policy Assisted Resilient Programmable IoT System",
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{\textquoteright}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.",
keywords = "IoT systems, Policy enforcement, Runtime monitoring",
author = "Moosa Yahyazadeh and Hussain, {Syed Rafiul} and Endadul Hoque and Omar Chowdhury",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 20th International Conference on Runtime Verification, RV 2020 ; Conference date: 06-10-2020 Through 09-10-2020",
year = "2020",
doi = "10.1007/978-3-030-60508-7_8",
language = "English (US)",
isbn = "9783030605070",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "151--171",
editor = "Jyotirmoy Deshmukh and Dejan Nickovic",
booktitle = "Runtime Verification - 20th International Conference, RV 2020, Proceedings",
address = "Germany",
}