Book chapter
PatrIoT: Policy Assisted Resilient Programmable IoT System
Runtime Verification, pp.151-171
Lecture Notes in Computer Science, Springer International Publishing
10/02/2020
DOI: 10.1007/978-3-030-60508-7_8
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.
Details
- Title: Subtitle
- PatrIoT: Policy Assisted Resilient Programmable IoT System
- Creators
- Moosa Yahyazadeh - University of IowaSyed Rafiul Hussain - Pennsylvania State UniversityEndadul Hoque - Syracuse UniversityOmar Chowdhury - University of Iowa
- Resource Type
- Book chapter
- Publication Details
- Runtime Verification, pp.151-171
- Publisher
- Springer International Publishing; Cham
- Series
- Lecture Notes in Computer Science
- DOI
- 10.1007/978-3-030-60508-7_8
- eISSN
- 1611-3349
- ISSN
- 0302-9743
- Language
- English
- Date published
- 10/02/2020
- Academic Unit
- Computer Science
- Record Identifier
- 9984259475102771
Metrics
17 Record Views