IoST: Internet of Softwarized Things Networks, Security Challenges and Future Research Directions

Adil, Muhammad; Attique, Muhammad; Wang, Jian; Alrefaei, Faisal; Song, Houbing; Farouk, Ahmed

doi:10.1109/gcwkshps56602.2022.10008746

Cited by 1 publication

(1 citation statement)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many advances have been suggested in the field of IoT. Examples such as the IoT softwarization [ 11 ]—a tendency that came from the network area—evidenced a need for updates of security strategies for IoT, as corroborated by the work of Kaur et al [ 12 ] presenting challenges from different areas. It is still possible to cite the application of IoT in the solution of security problems, as demonstrated in the work of Gupta et al, which used watermarking and lightweight encryption to encrypt images.…”

Section: Introductionmentioning

confidence: 99%

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic

Bezerra

Martina

Westphall

2023

Sensors

View full text Add to dashboard Cite

There are many security challenges in IoT, especially related to the authentication of restricted devices in long-distance and low-throughput networks. Problems such as impersonation, privacy issues, and excessive battery usage are some of the existing problems evaluated through the threat modeling of this work. A formal assessment of security solutions for their compliance in addressing such threats is desirable. Although several works address the verification of security protocols, verifying the security of components and their non-locking has been little explored. This work proposes to analyze the design-time security of the components of a multi-factor authentication mechanism with a reputation regarding security requirements that go beyond encryption or secrecy in data transmission. As a result, it was observed through temporal logic that the mechanism is deadlock-free and meets the requirements established in this work. Although it is not a work aimed at modeling the security mechanism, this document provides the necessary details for a better understanding of the mechanism and, consequently, the process of formal verification of its security properties.

show abstract

Section: Introductionmentioning

confidence: 99%