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!

Buďte první, kdo okomentuje tento záznam!