TY - GEN
T1 - PatrIoT
T2 - 20th International Conference on Runtime Verification, RV 2020
AU - Yahyazadeh, Moosa
AU - Hussain, Syed Rafiul
AU - Hoque, Endadul
AU - Chowdhury, Omar
N1 - Funding Information:
Acknowledgments. We are grateful to the anonymous reviewers for their insightful comments and suggestions. This work was supported by DARPA CASE program award N66001-18-C-4006. Any opinions, findings, conclusions, or recommendations expressed herein are those of the authors, and do not necessarily reflect those of the US Government or DARPA.
Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020
Y1 - 2020
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85093079916&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85093079916&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-60508-7_8
DO - 10.1007/978-3-030-60508-7_8
M3 - Conference contribution
AN - SCOPUS:85093079916
SN - 9783030605070
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 151
EP - 171
BT - Runtime Verification - 20th International Conference, RV 2020, Proceedings
A2 - Deshmukh, Jyotirmoy
A2 - Nickovic, Dejan
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 6 October 2020 through 9 October 2020
ER -