<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "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 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."^^ . "2023-08" . . . "18" . "8" . . "PLOS ONE"^^ . . . "19326203" . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Muhammad Amar"^^ . "Sohail"^^ . "Muhammad Amar Sohail"^^ . . "Manuel"^^ . "Masías Vergara"^^ . "Manuel Masías Vergara"^^ . . "Mohammed"^^ . "Balfaqih"^^ . "Mohammed Balfaqih"^^ . . "Muhammad Hasan"^^ . "Jamal"^^ . "Muhammad Hasan Jamal"^^ . . "Muhammad Tayyab"^^ . "Chaudhry"^^ . "Muhammad Tayyab Chaudhry"^^ . . "Imran"^^ . "Ashraf"^^ . "Imran Ashraf"^^ . . "Farooq"^^ . "Ahmad"^^ . "Farooq Ahmad"^^ . . "Daniel"^^ . "Gavilanes Aray"^^ . "Daniel Gavilanes Aray"^^ . . . . . . "Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets (Texto)"^^ . . . "journal.pone.0285700.pdf"^^ . . . "Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets (Otro)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #8681 \n\nFormal modeling and analysis of security schemes of RPL protocol using colored Petri nets\n\n" . "text/html" . . . "Engineering"@en . "Ingeniería"@es . .