Cargando…
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...
| Autores principales: | , , , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Public Library of Science
2023
|
| Materias: | |
| 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 |