Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets

In the Internet of things (IoT), data packets are accumulated and disseminated across IoT devices without human intervention, therefore the privacy and security of sensitive data during transmission are crucial. For this purpose, multiple routing techniques exist to ensure security and privacy in Io...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:PloS one Ročník 18; číslo 8; s. e0285700
Hlavní autoři: Ahmad, Farooq, Chaudhry, Muhammad Tayyab, Jamal, Muhammad Hasan, Sohail, Muhammad Amar, Gavilanes, Daniel, Vergara, Manuel Masias, Ashraf, Imran
Médium: Journal Article
Jazyk:angličtina
Vydáno: San Francisco Public Library of Science 17.08.2023
Témata:
Cloud computing
Computer and Information Sciences
Cybersecurity
Data transmission
Engineering and Technology
Evaluation
Information management
Internet of Things
Investment analysis
Modelling
Nets
Packets (communication)
Petri nets
Physical Sciences
Power
Privacy
Protocol
Research and Analysis Methods
Routing (telecommunications)
Safety and security measures
Security management
Social Sciences
Transmission Control Protocol/Internet Protocol (Computer network protocol)
Verification
United States
ISSN:1932-6203, 1932-6203
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In the Internet of things (IoT), data packets are accumulated and disseminated across IoT devices without human intervention, therefore the privacy and security of sensitive data during transmission are crucial. For this purpose, multiple routing techniques exist to ensure security and privacy in IoT Systems. One such technique is the routing protocol for low power and lossy networks (RPL) which is an IPv6 protocol commonly used for routing in IoT systems. Formal modeling of an IoT system can validate the reliability, accuracy, and consistency of the system. This paper presents the formal modeling of RPL protocol and the analysis of its security schemes using colored Petri nets that applies formal validation and verification for both the secure and non-secure modes of RPL protocol. The proposed approach can also be useful for formal modeling-based verification of the security of the other communication protocols.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
Competing Interests: The authors have declared that no competing interests exist.
ISSN:1932-6203
1932-6203
DOI:10.1371/journal.pone.0285700