中文
相关论文

相关论文: IoTC2: A Formal Method Approach for Detecting Conf…

200 篇论文

We propose a novel framework to detect conflicts among IoT services in a multi-resident smart home. A novel IoT conflict model is proposed considering the functional and non-functional properties of IoT services. We design a conflict…

计算机与社会 · 计算机科学 2020-04-28 Dipankar Chaki , Athman Bouguettaya , Sajib Mistry

We propose a novel framework that detects conflicts in IoT-based smart homes. Conflicts may arise during interactions between the resident and IoT services in smart homes. We propose a generic knowledge graph to represent the relations…

人工智能 · 计算机科学 2021-07-29 Bing Huang , Hai Dong , Athman Bouguettaya

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…

人机交互 · 计算机科学 2023-10-10 Bing Huang , Dipankar Chaki , Athman Bouguettaya , Kwok-Yan Lam

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 signal deviation strategy. We mine the residents' previous…

分布式、并行与集群计算 · 计算机科学 2024-06-04 Dipankar Chaki , Athman Bouguettaya , Abdallah Lakhdari

We propose a novel framework to detect conflicts among IoT services in a multi-resident smart home. A fine-grained conflict model is proposed considering the functional and non-functional properties of IoT services. The proposed conflict…

计算机与社会 · 计算机科学 2020-07-27 Dipankar Chaki , Athman Bouguettaya

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 automation, healthcare systems, automotive, and many…

密码学与安全 · 计算机科学 2022-03-04 Lobna Abuserrieh , Manar H. Alalfi

IoT platforms, particularly smart home platforms providing significant convenience to people's lives such as Apple HomeKit and Samsung SmartThings, allow users to create automation rules through trigger-action programming. However, some…

密码学与安全 · 计算机科学 2024-11-19 Ye Cheng , Minghui Xu , Yue Zhang , Kun Li , Ruoxi Wang , Lian Yang

Internet of Things (IoT) systems continuously collect a large amount of data from heterogeneous "smart objects" through standardised service interfaces. A key challenge is how to use these data and relevant event logs to construct…

软件工程 · 计算机科学 2018-12-17 Ahmed Abdullah , Heinz W. Schmidt , Maria Spichkova , Huai Liu

Internet of Things (IoT) is the interconnection of heterogeneous smart devices through the Internet with diverse application areas. The huge number of smart devices and the complexity of networks has made it impossible to secure the data…

密码学与安全 · 计算机科学 2021-08-23 Aliya Tabassum , Wadha Lebda

Consumer IoT is characterized by heterogeneous devices with diverse functionality and programming interfaces. This lack of homogeneity makes the integration and security management of IoT infrastructures a daunting task for users and…

密码学与安全 · 计算机科学 2019-08-01 Vasudevan Nagendra , Arani Bhattacharya , Vinod Yegneswaran , Amir Rahmati , Samir R Das

Emerging Internet of Things (IoT) platforms provide sophisticated capabilities to automate IoT services by enabling occupants to create trigger-action rules. Multiple trigger-action rules can physically interact with each other via shared…

密码学与安全 · 计算机科学 2024-06-07 Bing Huang , Chen Chen , Kwok-Yan Lam , Fuqun Huang

The Internet of Things (IoT) is a dynamic global information network consisting of Internet-connected objects, such as RFIDs, sensors, actuators, as well as other instruments and smart appliances that are becoming an integral component of…

网络与互联网体系结构 · 计算机科学 2013-11-12 Charith Perera , Prem Jayaraman , Arkady Zaslavsky , Peter Christen , Dimitrios Georgakopoulos

Today's IoT systems include event-driven smart applications (apps) that interact with sensors and actuators. A problem specific to IoT systems is that buggy apps, unforeseen bad app interactions, or device/communication failures, can cause…

密码学与安全 · 计算机科学 2018-10-30 Dang Tu Nguyen , Chengyu Song , Zhiyun Qian , Srikanth V. Krishnamurthy , Edward J. M. Colbert , Patrick McDaniel

The Industrial Internet of Things (IIoT) has already become a part of our everyday life be it water supply, smart grid, or production, IIoT is everywhere. For example, factory operators want to know the current state of the production line.…

密码学与安全 · 计算机科学 2019-08-13 Matthias Niedermaier , Dominik Merli , Georg Sigl

Industrial Internet-of-Things (IIoT) is a powerful IoT application which remodels the growth of industries by ensuring transparent communication among various entities such as hubs, manufacturing places and packaging units. Introducing data…

密码学与安全 · 计算机科学 2022-06-08 Geetanjali Rathee , Farhan Ahmad , Naveen Jaglan , Charalambos Konstantinou

This paper investigates a critical access control issue in the Internet of Things (IoT). In particular, we propose a smart contract-based framework, which consists of multiple access control contracts (ACCs), one judge contract (JC) and one…

密码学与安全 · 计算机科学 2018-02-14 Yuanyu Zhang , Shoji Kasahara , Yulong Shen , Xiaohong Jiang , Jianxiong Wan

With its growing number of deployed devices and applications, the Internet of Things (IoT) raises significant challenges for network maintenance procedures. In this work we address a problem of active fault detection in an IoT scenario,…

网络与互联网体系结构 · 计算机科学 2022-02-03 George Stamatakis , Nikolaos Pappas , Alexandros Fragkiadakis , Apostolos Traganitis

Industrial production plants traditionally include sensors for monitoring or documenting processes, and actuators for enabling corrective actions in cases of misconfigurations, failures, or dangerous events. With the advent of the IoT,…

网络与互联网体系结构 · 计算机科学 2019-03-06 Michael Frey , Cenk Gündoğan , Peter Kietzmann , Martine Lenders , Hauke Petersen , Thomas C. Schmidt , Felix Shzu-Juraschek , Matthias Wählisch

Today, the audit and diagnosis of the causal relationships between the events in a trigger-action-based event chain (e.g., why is a light turned on in a smart home?) in the Internet of Things (IoT) platforms are untrustworthy and…

密码学与安全 · 计算机科学 2022-08-12 Mahbubur Rahman , Abusayeed Saifullah

Security risk assessment methods have served us well over the last two decades. As the complexity, pervasiveness and automation of technology systems increases, particularly with the Internet of Things (IoT), there is a convincing argument…

密码学与安全 · 计算机科学 2018-06-29 Jason R. C. Nurse , Petar Radanliev , Sadie Creese , David De Roure
‹ 上一页 1 2 3 10 下一页 ›