中文
相关论文

相关论文: Symbolic Security Verification of Mesh Commissioni…

200 篇论文

Internet of Things (IoT) consists of a large number of devices connected through a network, which exchange a high volume of data, thereby posing new security, privacy, and trust issues. One way to address these issues is ensuring data…

密码学与安全 · 计算机科学 2021-04-29 Fatimah Aljaafari , Rafael Menezes , Mustafa A. Mustafa , Lucas C. Cordeiro

Internet of Things (IoT) is a novel paradigm, which not only facilitates a large number of devices to be ubiquitously connected over the Internet but also provides a mechanism to remotely control these devices. The IoT is pervasive and is…

网络与互联网体系结构 · 计算机科学 2020-02-26 Samundra Deep , Xi Zheng , Alireza Jolfaei , Dongjin Yu , Pouya Ostovari , Ali Kashif Bashir

The proliferation of consumer IoT products in our daily lives has raised the need for secure device authentication and access control. Unfortunately, these resource-constrained devices typically use token-based authentication, which is…

密码学与安全 · 计算机科学 2024-03-25 Yue Xiao , Yi He , Xiaoli Zhang , Qian Wang , Renjie Xie , Kun Sun , Ke Xu , Qi Li

The growing pervasiveness of Internet of Things (IoT) expands the attack surface by connecting more and more attractive attack targets, i.e. embedded devices, to the Internet. One key component in securing these devices is software…

密码学与安全 · 计算机科学 2018-11-20 Mahmoud Ammar , Mahdi Washha , Bruno Crispo

While the application of IoT in smart technologies becomes more and more proliferated, the pandemonium of its protocols becomes increasingly confusing. More seriously, severe security deficiencies of these protocols become evident, as…

密码学与安全 · 计算机科学 2018-01-23 Stefan Marksteiner , Víctor Juan Expósito Jiménez , Heribert Vallant , Herwig Zeiner

In modern smart systems, the convergence of the Internet of Things (IoT) and Wireless of Things (WoT) have been revolutionized by offering a broad level of wireless connectivity and communication among various devices. Hitherto, this…

密码学与安全 · 计算机科学 2025-09-16 Prokash Barman , Ratul Chowdhury , Banani Saha

Automated verification of security protocols based on dynamic root of trust, typically relying on protected hardware such as TPM, involves several challenges that we address in this paper. We model the semantics of trusted computing…

密码学与安全 · 计算机科学 2018-07-24 Sergiu Bursuc , Christian Johansen , Shiwei Xu

The Internet of Things (IoT) has rapidly expanded across various sectors, with consumer IoT devices - such as smart thermostats and security cameras - experiencing growth. Although these devices improve efficiency and promise additional…

密码学与安全 · 计算机科学 2025-04-11 Pascal Schöttle , Matthias Janetschek , Florian Merkle , Martin Nocker , Christoph Egger

The exponential growth of the Internet of Things (IoT) ecosystem has amplified concerns regarding device reliability, interoperability, and security assurance. Despite the proliferation of IoT security guidelines, a unified and quantitative…

密码学与安全 · 计算机科学 2025-11-25 Shreyansh Swami , Ishwardeep Singh , Chinmay Prawah Pant

Internet of Things (IoT) occupies a vital aspect of our everyday lives. IoT networks composed of smart-devices which communicate and transfer the information without the physical intervention of humans. Due to such proliferation and…

密码学与安全 · 计算机科学 2020-01-08 Jawad Ali , Ahmad Shahrafidz Khalid , Eiad Yafi , Shahrulniza Musa , Waqas Ahmed

The Internet-of-Things (IoT) has brought in new challenges in, device identification --what the device is, and, authentication --is the device the one it claims to be. Traditionally, the authentication problem is solved by means of a…

密码学与安全 · 计算机科学 2018-04-12 Bruhadeshwar Bezawada , Maalvika Bachani , Jordan Peterson , Hossein Shirazi , Indrakshi Ray , Indrajit Ray

As the Internet of Things (IoT) becomes an integral part of critical infrastructure and commercial services, runtime firmware attestation of constituent Micro-Controllers (MCUs) has become instrumental in maintaining security and trust.…

密码学与安全 · 计算机科学 2026-05-26 Varun Kohli , Biplab Sikdar

Secure signal authentication is arguably one of the most challenging problems in the Internet of Things (IoT) environment, due to the large-scale nature of the system and its susceptibility to man-in-the-middle and eavesdropping attacks. In…

密码学与安全 · 计算机科学 2019-06-05 Aidin Ferdowsi , Walid Saad

Identifying devices such as cameras, printers, voice assistants, or health monitoring sensors, collectively known as the Internet of Things (IoT), within a network is a critical operational task, particularly to manage the cyber risks they…

信息检索 · 计算机科学 2025-12-19 Shayan Azizi , Norihiro Okui , Masataka Nakahara , Ayumu Kubota , Hassan Habibi Gharakheili

Internet of Things (IoT) can be seen as a cooperation of the various heterogeneous devices with limited performances, that participate in the same system. By they nature, these devices can be very distributed. The core of every IoT system…

计算机科学中的逻辑 · 计算机科学 2017-09-26 Bojan Marinković , Zoran Ognjanović , Paola Glavan , Anton Kos , Anton Umek

While the large-scale Internet of Things (IoT) makes many new applications feasible, like Smart Cities, IoT also brings new concerns on data reliability, security, and privacy. The rapid evolution in blockchain technologies, which relied on…

分布式、并行与集群计算 · 计算机科学 2019-12-24 Ronghua Xu , Yu Chen

Securing the Internet of Things (IoT) is a necessary milestone toward expediting the deployment of its applications and services. In particular, the functionality of the IoT devices is extremely dependent on the reliability of their message…

信息论 · 计算机科学 2017-11-07 Aidin Ferdowsi , Walid Saad

With the rapid growth of the contemporary Internet of Things (IoT) market, the established systems raise a number of concerns regarding the reliability and the potential presence of critical integration defects. In this paper, we present a…

The Internet of Things (IoT) has emerged as a foundational paradigm supporting a range of applications, including healthcare, education, agriculture, smart homes, and, more recently, enterprise systems. However, significant advancements in…

最优化与控制 · 数学 2025-09-03 Shiva Sattarpour , Ali Barati , Hamid Barati

IoT devices fundamentally lack built-in security mechanisms to protect themselves from security attacks. Existing works on improving IoT security mostly focus on detecting anomalous behaviors of IoT devices. However, these existing anomaly…

密码学与安全 · 计算机科学 2024-04-23 Md Mainuddin , Zhenhai Duan , Yingfei Dong