eprintid: 8681 rev_number: 7 eprint_status: archive userid: 2 dir: disk0/00/00/86/81 datestamp: 2023-09-06 23:30:21 lastmod: 2024-04-30 22:42:26 status_changed: 2023-09-06 23:30:21 type: article metadata_visibility: show creators_name: Balfaqih, Mohammed creators_name: Ahmad, Farooq creators_name: Chaudhry, Muhammad Tayyab creators_name: Jamal, Muhammad Hasan creators_name: Sohail, Muhammad Amar creators_name: Gavilanes Aray, Daniel creators_name: Masías Vergara, Manuel creators_name: Ashraf, Imran creators_id: creators_id: creators_id: creators_id: creators_id: creators_id: daniel.gavilanes@uneatlantico.es creators_id: manuel.masias@uneatlantico.es creators_id: title: Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets ispublished: pub subjects: uneat_eng divisions: uneatlantico_produccion_cientifica divisions: unincol_produccion_cientifica divisions: uninimx_produccion_cientifica divisions: uninipr_produccion_cientifica divisions: unic_produccion_cientifica full_text_status: public abstract: 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. date: 2023-08 publication: PLOS ONE volume: 18 number: 8 pagerange: e0285700 id_number: doi:10.1371/journal.pone.0285700 refereed: TRUE issn: 1932-6203 official_url: http://doi.org/10.1371/journal.pone.0285700 access: open language: en citation: Artículo Materias > Ingeniería Universidad Europea del Atlántico > Investigación > Producción Científica Fundación Universitaria Internacional de Colombia > Investigación > Producción Científica Universidad Internacional Iberoamericana México > Investigación > Producción Científica Universidad Internacional Iberoamericana Puerto Rico > Investigación > Producción Científica Universidad Internacional do Cuanza > Investigación > Producción Científica Abierto Inglés 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. metadata Balfaqih, Mohammed; Ahmad, Farooq; Chaudhry, Muhammad Tayyab; Jamal, Muhammad Hasan; Sohail, Muhammad Amar; Gavilanes Aray, Daniel; Masías Vergara, Manuel y Ashraf, Imran mail SIN ESPECIFICAR, SIN ESPECIFICAR, SIN ESPECIFICAR, SIN ESPECIFICAR, SIN ESPECIFICAR, daniel.gavilanes@uneatlantico.es, manuel.masias@uneatlantico.es, SIN ESPECIFICAR (2023) Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets. PLOS ONE, 18 (8). e0285700. ISSN 1932-6203 document_url: http://repositorio.unini.edu.mx/id/eprint/8681/1/journal.pone.0285700.pdf