English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Many solutions have been proposed to curb unexpected behavior of automationapps installed on programmable IoT platforms by enforcing safety policies atruntime. However, all prior work addresses a weaker version of the actualproblem due to a simpler, unrealistic threat model. These solutions are notgeneral enough as they are heavily dependent on the installed apps and cateredto specific IoT platforms. Here, we address a stronger version of the problemvia a realistic threat model, where (i) undesired cyber actions can come fromnot only automation platform backends (e.g., SmartThings) but alsoclose-sourced third-party services (e.g., IFTTT), and (ii) physical actions(e.g., user interactions) on devices can move the IoT system to an undesirablestate. We propose a runtime mechanism, dubbed Maverick, which employs anapp-independent, platform-agnostic mediator to enforce policies against allundesired cyber actions and applies corrective-actions to bring the IoT systemback to a safe state from an unsafe state transition. Maverick is equipped witha policy language capable of expressing rich temporal invariants and anautomated toolchain that includes a policy synthesizer and a policy analyzerfor user assistance. We implemented Maverick in a prototype and showed itsefficacy in both physical and virtual testbeds, incurring minimal overhead.

MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime