Tractable policy management framework for IoT

Göynügür, Emre; Mel, Geeth de; Şensoy, Murat; Calo, Seraphin

doi:10.1117/12.2266597

Cited by 3 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These conflicts have been detected during different rule interactions, so no handling for local conflicts. (Goynugur et al, 2017) authors proposed a policy (i.e., user-defined rules) framework based on OWL-QL representation language. They also used the JSHOP2 AI planner to avoid conflicts.…”

Section: /31mentioning

confidence: 99%

Peer Review #2 of "A conflicts’ classification for IoT-based services: a comparative survey (v0.1)"

2021

View full text Add to dashboard Cite

Section: /31mentioning

confidence: 99%

Peer Review #2 of "A conflicts’ classification for IoT-based services: a comparative survey (v0.1)"

2021

View full text Add to dashboard Cite

A Survey on Conflict Detection in IoT-based Smart Homes

Huang,

Chaki,

Bouguettaya

et al. 2023

ACM Comput. Surv.

View full text Add to dashboard Cite

As the adoption of IoT-based smart homes continues to grow, the importance of addressing potential conflicts becomes increasingly vital for ensuring seamless functionality and user satisfaction. In this survey, we introduce a novel conflict taxonomy, complete with formal definitions of each conflict type that may arise within the smart home environment. We design an advanced conflict model to effectively categorize these conflicts, setting the stage for our in-depth review of recent research in the field. By employing our proposed model, we systematically classify conflicts and present a comprehensive overview of cutting-edge conflict detection approaches. This extensive analysis allows us to highlight similarities, clarify significant differences, and uncover prevailing trends in conflict detection techniques. In conclusion, we shed light on open issues and suggest promising avenues for future research to foster accelerated development and deployment of IoT-based smart homes, ultimately enhancing their overall performance and user experience.

show abstract

A conflicts’ classification for IoT-based services: a comparative survey

Ibrhim

Hassan

Nabil

2021

PeerJ Computer Science

View full text Add to dashboard Cite

Recently, Internet of Things (IoT)-based systems, especially automation systems, have become an indispensable part of modern-day lives to support the controlling of the networked devices and providing context-aware and intelligent environments. IoT-based services/apps developed by the end-users interact with each other and share concurrent access to devices according to their preferences, which increases safety, security, and correctness issues in IoT systems. Due to the critical impacts resulting from these issues, IoT-based apps require a customized type of compilers or checking tools that capable of analyzing the structures of these apps and detecting different types of errors and conflicts either in intra-IoT app instructions or in inter-IoT apps interactions. A plethora of approaches and frameworks have been proposed to assist the best practices for end-users in developing their IoT-based apps and mitigate these errors and conflicts. This paper focuses on conflict classification and detection approaches in the context of IoT systems by investigating the current research techniques that provided conflicts’ classification or detection in IoT systems (published between 2014 and 2020). A classification of IoT-based apps interaction conflicts is proposed. The proposed conflicts’ classification provides a priori conflicts detection method based on the analysis of IoT app instructions’ relationships with utilizing the state-of-the-art Satisfiability Modulo Theories (SMT) model checking and formal notations. The current detection approaches are compared with each other according to the proposed conflicts’ classification to determine to which extend they cover different conflicts. Based on this comparison, we provide evidence that the existing approaches have a gap in covering different conflicts’ levels and types which yields to minimize the correctness and safety of IoT systems. We point out the need to develop a safety and security compiler or tool for IoT systems. Also, we recommend using a hybrid approach that combines model checking with a variety of languages and semantic technologies in developing future IoT-based apps verification frameworks to cover all levels and types of conflicts to guarantee and increase the safety, security, and correctness of IoT systems.

show abstract

Tractable policy management framework for IoT

Cited by 3 publications

References 5 publications

Peer Review #2 of "A conflicts’ classification for IoT-based services: a comparative survey (v0.1)"

Peer Review #2 of "A conflicts’ classification for IoT-based services: a comparative survey (v0.1)"

A Survey on Conflict Detection in IoT-based Smart Homes

A conflicts’ classification for IoT-based services: a comparative survey

Contact Info

Product

Resources

About