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...

Descripción completa

Detalles Bibliográficos
Autores principales: Ahmad, Farooq, Chaudhry, Muhammad Tayyab, Jamal, Muhammad Hasan, Sohail, Muhammad Amar, Gavilanes, Daniel, Vergara, Manuel Masias, Ashraf, Imran
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Public Library of Science 2023
Materias:
Research Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10434935/
https://www.ncbi.nlm.nih.gov/pubmed/37590247
http://dx.doi.org/10.1371/journal.pone.0285700

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10434935/
https://www.ncbi.nlm.nih.gov/pubmed/37590247
http://dx.doi.org/10.1371/journal.pone.0285700

Ejemplares similares