中文
相关论文

相关论文: TAPInspector: Safety and Liveness Verification of …

200 篇论文

Trigger-Action Programming (TAP) is a popular end-user programming framework in the home automation (HA) system, which eases users to customize home automation and control devices as expected. However, its simplified syntax also introduces…

密码学与安全 · 计算机科学 2024-07-15 Yinbo Yu , Yuanqi Xu , Kepu Huang , Jiajia Liu

Trigger-action platforms (TAPs) allow users to connect independent web-based or IoT services to achieve useful automation. They provide a simple interface that helps end-users create trigger-compute-action rules that pass data between…

密码学与安全 · 计算机科学 2021-05-26 Yunang Chen , Amrita Roy Chowdhury , Ruizhe Wang , Andrei Sabelfeld , Rahul Chatterjee , Earlence Fernandes

The proliferation of Internet of Things (IoT) is reshaping our lifestyle. With IoT sensors and devices communicating with each other via the Internet, people can customize automation rules to meet their needs. Unless carefully defined,…

密码学与安全 · 计算机科学 2019-03-12 Kai-Hsiang Hsu , Yu-Hsi Chiang , Hsu-Chun Hsiao

The Internet of Things (IoT) devices are rapidly increasing in popularity, with more individuals using Internet-connected devices that continuously monitor their activities. This work explores privacy concerns and expectations of end-users…

计算机与社会 · 计算机科学 2023-08-14 Piero Romare , Victor Morel , Farzaneh Karegar , Simone Fischer-Hübner

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

Facilitated by messaging protocols (MP), many home devices are connected to the Internet, bringing convenience and accessibility to customers. However, most deployed MPs on IoT platforms are fragmented and are not implemented carefully to…

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

Smart homes contain diverse sensors and actuators controlled by IoT apps that provide custom automation. Prior works showed that an adversary could exploit physical interaction vulnerabilities among apps and put the users and environment at…

密码学与安全 · 计算机科学 2022-09-09 Muslum Ozgur Ozmen , Xuansong Li , Andrew Chu , Z. Berkay Celik , Bardh Hoxha , Xiangyu Zhang

TAP, the Table Access Protocol, is a widely used Virtual Observatory specification allowing client software to interact with remote database services in a standardised way. This paper presents taplint, a tool for assessing the compliance of…

天体物理仪器与方法 · 物理学 2021-12-16 Mark Taylor

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

Address Resolution Protocol (ARP) spoofing remains a critical threat to IoT networks, enabling attackers to intercept, modify, or disrupt data transmission by exploiting ARP's lack of authentication. The decentralized and…

密码学与安全 · 计算机科学 2025-07-30 Anas Ali , Mubashar Husain , Peter Hans

Internet of Things (IoT) platforms with trigger-action capability allow event conditions to trigger actions in IoT devices autonomously by creating a chain of interactions. Adversaries exploit this chain of interactions to maliciously…

密码学与安全 · 计算机科学 2025-03-13 Md Morshed Alam , Lokesh Chandra Das , Sandip Roy , Sachin Shetty , Weichao Wang

As the Internet of Things (IoT) continues to expand across critical infrastructure, smart environments, and consumer devices, securing them against cyber threats has become increasingly vital. Traditional intrusion detection models often…

密码学与安全 · 计算机科学 2026-03-25 Samuel Ozechi , Jennifer Okonkwoabutu

Smart home IoT systems utilize trigger-action platforms, e.g., IFTTT, to manage devices from various vendors. However, they may be abused by triggering malicious rule execution with forged IoT devices or events violating the execution…

密码学与安全 · 计算机科学 2024-03-01 Jingwen Fan , Yi He , Bo Tang , Qi Li , Ravi Sandhu

The growing popularity of online services and IoT platforms along with increased developer's access to devices and services through RESTful APIs is giving rise to a new class of frameworks that support trigger-action programming. These…

密码学与安全 · 计算机科学 2017-09-11 Amir Rahmati , Earlence Fernandes , Jaeyeon Jung , Atul Prakash

Past Advanced Persistent Threat (APT) attacks on Industrial Internet-of-Things (IIoT), such as the 2016 Ukrainian power grid attack and the 2017 Saudi petrochemical plant attack, have shown the disruptive effects of APT campaigns while new…

密码学与安全 · 计算机科学 2023-09-27 Ayush Kumar , Vrizlynn L. L. Thing

Broadly defined as the Internet of Things (IoT), the growth of commodity devices that integrate physical processes with digital systems have changed the way we live, play and work. Yet existing IoT platforms cannot evaluate whether an IoT…

密码学与安全 · 计算机科学 2018-05-24 Z. Berkay Celik , Patrick McDaniel , Gang Tan

A number of Internet of Things (IoTs) platforms have emerged to enable various IoT apps developed by third-party developers to automate smart homes. Prior research mostly concerns the overprivilege problem in the permission model. Our work,…

密码学与安全 · 计算机科学 2021-01-26 Haotian Chi , Qiang Zeng , Xiaojiang Du , Jiaping Yu

Internet of Things (IoT) has become a common paradigm for different domains such as health care, transportation infrastructure, smart home, smart shopping, and e-commerce. With its interoperable functionality, it is now possible to connect…

密码学与安全 · 计算机科学 2018-12-11 Abdullah Al Farooq , Ehab Al-Shaer , Thomas Moyer , Krishna Kant

Internet of Things (IoT) devices are becoming increasingly important. These devices are often resource-limited, hindering rigorous enforcement of security policies. Assessing the vulnerability of IoT devices is an important problem, but…

密码学与安全 · 计算机科学 2019-01-30 Davino Mauro Junior , Luis Melo , Harvey Lu , Marcelo d'Amorim , Atul Prakash
‹ 上一页 1 2 3 10 下一页 ›