A survey on conflict detection in iot-based smart homes

B Huang, D Chaki, A Bouguettaya, KY Lam - ACM Computing Surveys, 2023 - dl.acm.org
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 …

Conflict detection and resolution in IoT systems: a survey

P Pradeep, K Kant - IoT, 2022 - mdpi.com
Internet of Things (IoT) systems are becoming ubiquitous in various cyber–physical
infrastructures, including buildings, vehicular traffic, goods transport and delivery …

Ontology-based classification and detection of the smart home automation rules conflicts

AM Ansari, M Nazir, K Mustafa - IEEE Access, 2024 - ieeexplore.ieee.org
Smart homes are the most adaptable and utilized application of the IoT. Smart homes
enable end users to define and control the automation remotely by defining automation …

HSAS-MD analyzer: a hybrid security analysis system using model-checking technique and deep learning for malware detection in IoT apps

AA Hamza, IT Abdel Halim, MA Sobh, AM Bahaa-Eldin - Sensors, 2022 - mdpi.com
Established Internet of Things (IoT) platforms suffer from their inability to determine whether
an IoT app is secure or not. A security analysis system (SAS) is a protective shield against …

Dynamic conflict resolution of iot services in smart homes

D Chaki, A Bouguettaya - … , ICSOC 2021, Virtual Event, November 22–25 …, 2021 - Springer
We propose a novel conflict resolution framework for IoT services in multi-resident smart
homes. The proposed framework employs a preference extraction model based on a …

A Survey on Verification of Security and Safety in IoT Systems

L Abuserrieh, MH Alalfi - IEEE Access, 2024 - ieeexplore.ieee.org
Internet of Things (IoT) has been rapidly growing in the past few years in all life disciplines.
IoT provides automation and smart control across various domains, including home …

Impact Conflict Detection of IoT Services in Multi-resident Smart Homes

D Chaki, A Bouguettaya, A Lakhdari - arXiv preprint arXiv:2406.00277, 2024 - arxiv.org
We propose a novel impact conflict detection framework for IoT services in multi-resident
smart homes. The proposed impact assessment model is developed based on the integral of …

A Survey of Analysis Methods for Security and Safety verification in IoT Systems

L Abuserrieh, MH Alalfi - arXiv preprint arXiv:2203.01464, 2022 - arxiv.org
Internet of Things (IoT) has been rapidly growing in the past few years in all life disciplines.
IoT provides automation and smart control to its users in different domains such as home …

[PDF][PDF] Conflict Detection and Resolution Model for Multi-users IoT Automation Systems.

H Ibrhim, H Hassan, AB Alkhodre, E Nabil - International Journal of …, 2022 - inass.org
Building automation (BA) strives to control interconnected physical devices by using
software management systems on which end-users can personalize their environmental …

Rule Conflict Classification and Detection for Smart Building Systems: A Case Study

D Han, G Ma, X Zhang, Y Cai… - 2024 43rd Chinese Control …, 2024 - ieeexplore.ieee.org
With the rapid development of rule engine-based smart building systems, it is urgent to
address the potential conflicts between different control rules to ensure system usability and …