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

Full description

Saved in:

Bibliographic Details
Published in:	PloS one Vol. 18; no. 8; p. e0285700
Main Authors:	Ahmad, Farooq, Chaudhry, Muhammad Tayyab, Jamal, Muhammad Hasan, Sohail, Muhammad Amar, Gavilanes, Daniel, Vergara, Manuel Masias, Ashraf, Imran
Format:	Journal Article
Language:	English
Published:	San Francisco Public Library of Science 17.08.2023
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

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.
AbstractList	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. 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.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.
Audience	Academic
Author	Vergara, Manuel Masias Gavilanes, Daniel Jamal, Muhammad Hasan Ashraf, Imran Ahmad, Farooq Sohail, Muhammad Amar Chaudhry, Muhammad Tayyab
AuthorAffiliation	2 Universidad Europea del Atlántico, Santander, Spain University of Jeddah, SAUDI ARABIA 6 Fundación Universitaria Internacional de Colombia, Bogotá, Colombia 5 Universidade Internacional do Cuanza, Cuito, Bié, Angola 3 Universidad Internacional Iberoamericana, Campeche, México 4 Universidad Internacional Iberoamericana, Arecibo, Puerto Rico, United States of America 1 Department of Computer Science, COMSATS University Islamabad, Lahore Campus, Lahore, Pakistan 7 Department of Information and Communication Engineering, Yeungnam University, Gyeongsan, Korea
AuthorAffiliation_xml	– name: University of Jeddah, SAUDI ARABIA – name: 4 Universidad Internacional Iberoamericana, Arecibo, Puerto Rico, United States of America – name: 1 Department of Computer Science, COMSATS University Islamabad, Lahore Campus, Lahore, Pakistan – name: 5 Universidade Internacional do Cuanza, Cuito, Bié, Angola – name: 6 Fundación Universitaria Internacional de Colombia, Bogotá, Colombia – name: 7 Department of Information and Communication Engineering, Yeungnam University, Gyeongsan, Korea – name: 3 Universidad Internacional Iberoamericana, Campeche, México – name: 2 Universidad Europea del Atlántico, Santander, Spain
Author_xml	– sequence: 1 givenname: Farooq surname: Ahmad fullname: Ahmad, Farooq – sequence: 2 givenname: Muhammad Tayyab surname: Chaudhry fullname: Chaudhry, Muhammad Tayyab – sequence: 3 givenname: Muhammad Hasan surname: Jamal fullname: Jamal, Muhammad Hasan – sequence: 4 givenname: Muhammad Amar surname: Sohail fullname: Sohail, Muhammad Amar – sequence: 5 givenname: Daniel surname: Gavilanes fullname: Gavilanes, Daniel – sequence: 6 givenname: Manuel Masias surname: Vergara fullname: Vergara, Manuel Masias – sequence: 7 givenname: Imran orcidid: 0000-0002-8271-6496 surname: Ashraf fullname: Ashraf, Imran
BookMark	eNqNkl1rFDEUhgepYFv9B4IDgujFrvmYySTeSClWCwsttQhehWw-dlMyyZpkxP33ZtpROqWIhJBw8rzvSU7OUXXgg9dV9RKCJcQdfH8ThuiFW-5KeAkQbTsAnlSHkGG0IAjgg3v7Z9VRSjcAtJgSclh9PwuxF67ug9LO-k0tvCpTuH2yqQ6mTloO0eZ9neRW9_o2dnW5qncx5CCDq4c0ysouRK3qS52jrb3O6Xn11AiX9ItpPa6uzz5dn35ZrC4-n5-erBaSgCYvOqgIWxODBOqAYQh0zCgkKepo1xqJjVFQUUooA4LANZNItAZQvG4oUwLi4-rVne3OhcSnSiReioAIAAiDQnyciGHdayW1z1E4vou2F3HPg7B8fuLtlm_CTw5BgxuG2-LwdnKI4cegU-a9TVI7J7wOw20yzBrcojHZ6wfo41eaqI1wmltvQkksR1N-0hE4vp2RQi0focpQurey_LWxJT4TvJsJCpP1r7wRQ0r8_OvV_7MX3-bsm3vsVguXtym4Idvg0xxs7kAZQ0pRm79VhoCPrfqnGnxsVT61apF9eCCTNovRvTzYun-LfwNg8vHL
CitedBy_id	crossref_primary_10_1016_j_jss_2025_112501 crossref_primary_10_1016_j_jocs_2024_102455 crossref_primary_10_1145_3685934
Cites_doi	10.1109/JIOT.2014.2312291 10.1007/s12652-013-0209-4 10.1145/2991079.2991085 10.7717/peerj-cs.351 10.1109/TASE.2015.2497800 10.1016/j.cose.2017.05.012 10.1016/j.clsr.2009.11.008 10.1016/j.future.2013.01.010 10.1007/978-3-030-00856-7_27 10.1109/ICCE.2017.7889238 10.1145/2897035.2897041 10.1145/2661061.2661063 10.1109/PDGC.2014.7030783 10.1007/978-3-642-40316-3_30 10.1109/ISSNIP.2015.7106958 10.1109/CyberSA49311.2020.9139695 10.1109/ICITST.2015.7412116 10.1155/2016/8128651 10.1002/sec.794 10.1145/2566468.2566484 10.3390/app10186472 10.1109/SURV.2013.042313.00197 10.1007/978-3-642-60794-3 10.1109/Trustcom/BigDataSE/ICESS.2017.265 10.1016/j.jnca.2014.11.011 10.1109/ETIICT.2017.7977006 10.1016/j.future.2017.11.022 10.1016/j.adhoc.2015.05.013 10.1145/2602087.2602107 10.1109/SoftCOM.2013.6671893 10.1109/ITNG.2010.104 10.1016/j.pmcj.2012.03.001 10.1109/ATC.2014.7043425 10.1007/978-3-319-58460-7_24 10.1371/journal.pone.0146760 10.1145/1644038.1644040 10.1109/COMST.2018.2885894 10.3390/electronics10192320 10.1109/TMC.2016.2573304 10.1145/1921641.1921650 10.1109/COMST.2015.2444095 10.1007/978-3-319-69462-7_42 10.1145/2642803.2642807 10.1155/2018/9174568
ContentType	Journal Article
Copyright	COPYRIGHT 2023 Public Library of Science 2023 Ahmad et al. This is an open access article distributed under the terms of the Creative Commons Attribution License: http://creativecommons.org/licenses/by/4.0/ (the “License”), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. Copyright: © 2023 Ahmad et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. 2023 Ahmad et al 2023 Ahmad et al 2023 Ahmad et al. This is an open access article distributed under the terms of the Creative Commons Attribution License: http://creativecommons.org/licenses/by/4.0/ (the “License”), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml	– notice: COPYRIGHT 2023 Public Library of Science – notice: 2023 Ahmad et al. This is an open access article distributed under the terms of the Creative Commons Attribution License: http://creativecommons.org/licenses/by/4.0/ (the “License”), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. – notice: Copyright: © 2023 Ahmad et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. – notice: 2023 Ahmad et al 2023 Ahmad et al – notice: 2023 Ahmad et al. This is an open access article distributed under the terms of the Creative Commons Attribution License: http://creativecommons.org/licenses/by/4.0/ (the “License”), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID	AAYXX CITATION IOV ISR 3V. 7QG 7QL 7QO 7RV 7SN 7SS 7T5 7TG 7TM 7U9 7X2 7X7 7XB 88E 8AO 8C1 8FD 8FE 8FG 8FH 8FI 8FJ 8FK ABJCF ABUWG AEUYN AFKRA ARAPS ATCPS AZQEC BBNVY BENPR BGLVJ BHPHI C1K CCPQU D1I DWQXO FR3 FYUFA GHDGH GNUQQ H94 HCIFZ K9. KB. KB0 KL. L6V LK8 M0K M0S M1P M7N M7P M7S NAPCQ P5Z P62 P64 PATMY PDBOC PHGZM PHGZT PIMPY PJZUB PKEHL PPXIY PQEST PQGLB PQQKQ PQUKI PRINS PTHSS PYCSY RC3 7X8 5PM
DOI	10.1371/journal.pone.0285700
DatabaseName	CrossRef Gale In Context: Opposing Viewpoints Gale In Context: Science ProQuest Central (Corporate) Animal Behavior Abstracts Bacteriology Abstracts (Microbiology B) Biotechnology Research Abstracts Nursing & Allied Health Database Ecology Abstracts Entomology Abstracts (Full archive) Immunology Abstracts Meteorological & Geoastrophysical Abstracts Nucleic Acids Abstracts Virology and AIDS Abstracts Agricultural Science Collection Health & Medical Collection (ProQuest) ProQuest Central (purchase pre-March 2016) Medical Database (Alumni Edition) ProQuest Pharma Collection Public Health Database (ProQuest) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Natural Science Collection Hospital Premium Collection Hospital Premium Collection (Alumni Edition) ProQuest Central (Alumni) (purchase pre-March 2016) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest One Sustainability ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection Agricultural & Environmental Science Collection ProQuest Central Essentials Biological Science Collection ProQuest Central Database Suite (ProQuest) ProQuest Technology Collection Natural Science Collection Environmental Sciences and Pollution Management ProQuest One ProQuest Materials Science Collection ProQuest Central Korea Engineering Research Database Health Research Premium Collection Health Research Premium Collection (Alumni) ProQuest Central Student AIDS and Cancer Research Abstracts SciTech Collection (ProQuest) ProQuest Health & Medical Complete (Alumni) Materials Science Database Nursing & Allied Health Database (Alumni Edition) Meteorological & Geoastrophysical Abstracts - Academic ProQuest Engineering Collection Biological Sciences Agricultural Science Database ProQuest Health & Medical Collection Medical Database Algology Mycology and Protozoology Abstracts (Microbiology C) Biological Science Database (ProQuest) Engineering Database Nursing & Allied Health Premium Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Biotechnology and BioEngineering Abstracts Environmental Science Database Materials Science Collection ProQuest Central Premium ProQuest One Academic (New) Publicly Available Content Database ProQuest Health & Medical Research Collection ProQuest One Academic Middle East (New) ProQuest One Health & Nursing ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection Environmental Science Collection Genetics Abstracts MEDLINE - Academic PubMed Central (Full Participant titles)
DatabaseTitle	CrossRef Agricultural Science Database Publicly Available Content Database ProQuest Central Student ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials Nucleic Acids Abstracts SciTech Premium Collection ProQuest Central China Environmental Sciences and Pollution Management ProQuest One Applied & Life Sciences ProQuest One Sustainability Health Research Premium Collection Meteorological & Geoastrophysical Abstracts Natural Science Collection Health & Medical Research Collection Biological Science Collection ProQuest Central (New) ProQuest Medical Library (Alumni) Engineering Collection Advanced Technologies & Aerospace Collection Engineering Database Virology and AIDS Abstracts ProQuest Biological Science Collection ProQuest One Academic Eastern Edition Agricultural Science Collection ProQuest Hospital Collection ProQuest Technology Collection Health Research Premium Collection (Alumni) Biological Science Database Ecology Abstracts ProQuest Hospital Collection (Alumni) Biotechnology and BioEngineering Abstracts Environmental Science Collection Entomology Abstracts Nursing & Allied Health Premium ProQuest Health & Medical Complete ProQuest One Academic UKI Edition Environmental Science Database ProQuest Nursing & Allied Health Source (Alumni) Engineering Research Database ProQuest One Academic Meteorological & Geoastrophysical Abstracts - Academic ProQuest One Academic (New) Technology Collection Technology Research Database ProQuest One Academic Middle East (New) Materials Science Collection ProQuest Health & Medical Complete (Alumni) ProQuest Central (Alumni Edition) ProQuest One Community College ProQuest One Health & Nursing ProQuest Natural Science Collection ProQuest Pharma Collection ProQuest Central ProQuest Health & Medical Research Collection Genetics Abstracts ProQuest Engineering Collection Biotechnology Research Abstracts Health and Medicine Complete (Alumni Edition) ProQuest Central Korea Bacteriology Abstracts (Microbiology B) Algology Mycology and Protozoology Abstracts (Microbiology C) Agricultural & Environmental Science Collection AIDS and Cancer Research Abstracts Materials Science Database ProQuest Materials Science Collection ProQuest Public Health ProQuest Nursing & Allied Health Source ProQuest SciTech Collection Advanced Technologies & Aerospace Database ProQuest Medical Library Animal Behavior Abstracts Materials Science & Engineering Collection Immunology Abstracts ProQuest Central (Alumni) MEDLINE - Academic
DatabaseTitleList	Agricultural Science Database CrossRef MEDLINE - Academic
Database_xml	– sequence: 1 dbid: PIMPY name: Publicly Available Content Database url: http://search.proquest.com/publiccontent sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Sciences (General)
DocumentTitleAlternate	Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets
EISSN	1932-6203
ExternalDocumentID	2852600230 PMC10434935 A761278796 10_1371_journal_pone_0285700
GeographicLocations	United States
GeographicLocations_xml	– name: United States
GrantInformation_xml	– fundername: ;
GroupedDBID	--- 123 29O 2WC 53G 5VS 7RV 7X2 7X7 7XC 88E 8AO 8C1 8CJ 8FE 8FG 8FH 8FI 8FJ A8Z AAFWJ AAUCC AAWOE AAYXX ABDBF ABIVO ABJCF ABUWG ACCTH ACGFO ACIHN ACIWK ACPRK ACUHS ADBBV AEAQA AENEX AEUYN AFFHD AFKRA AFPKN AFRAH AHMBA ALMA_UNASSIGNED_HOLDINGS AOIJS APEBS ARAPS ATCPS BAIFH BAWUL BBNVY BBTPI BCNDV BENPR BGLVJ BHPHI BKEYQ BPHCQ BVXVI BWKFM CCPQU CITATION CS3 D1I D1J D1K DIK DU5 E3Z EAP EAS EBD EMOBN ESX EX3 F5P FPL FYUFA GROUPED_DOAJ GX1 HCIFZ HH5 HMCUK HYE IAO IEA IGS IHR IHW INH INR IOV IPY ISE ISR ITC K6- KB. KQ8 L6V LK5 LK8 M0K M1P M48 M7P M7R M7S M~E NAPCQ O5R O5S OK1 OVT P2P P62 PATMY PDBOC PHGZM PHGZT PIMPY PJZUB PPXIY PQGLB PQQKQ PROAC PSQYO PTHSS PV9 PYCSY RNS RPM RZL SV3 TR2 UKHRP WOQ WOW ~02 ~KM ALIPV BBORY 3V. 7QG 7QL 7QO 7SN 7SS 7T5 7TG 7TM 7U9 7XB 8FD 8FK AZQEC C1K DWQXO ESTFP FR3 GNUQQ H94 K9. KL. M7N P64 PKEHL PQEST PQUKI PRINS RC3 7X8 PUEGO 5PM
ID	FETCH-LOGICAL-c604t-71d69b6f2a270f92079fd2c827875fc3ffd1d886890a61b9c2a5f083b489da13
IEDL.DBID	7RV
ISICitedReferencesCount	3
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001051745900014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1932-6203
IngestDate	Thu Nov 28 02:59:23 EST 2024 Tue Nov 04 02:06:21 EST 2025 Sat Sep 27 22:33:19 EDT 2025 Tue Oct 07 07:44:08 EDT 2025 Sat Nov 29 13:00:37 EST 2025 Sat Nov 29 11:02:37 EST 2025 Wed Nov 26 11:24:30 EST 2025 Wed Nov 26 11:06:24 EST 2025 Thu May 22 21:22:28 EDT 2025 Sat Nov 29 02:31:41 EST 2025 Tue Nov 18 20:58:58 EST 2025
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	8
Language	English
License	This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Creative Commons Attribution License
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c604t-71d69b6f2a270f92079fd2c827875fc3ffd1d886890a61b9c2a5f083b489da13
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 content type line 23 Competing Interests: The authors have declared that no competing interests exist.
ORCID	0000-0002-8271-6496
OpenAccessLink	https://www.proquest.com/docview/2852600230?pq-origsite=%requestingapplication%
PQID	2852600230
PQPubID	1436336
ParticipantIDs	plos_journals_2852600230 pubmedcentral_primary_oai_pubmedcentral_nih_gov_10434935 proquest_miscellaneous_2853943520 proquest_journals_2852600230 gale_infotracmisc_A761278796 gale_infotracacademiconefile_A761278796 gale_incontextgauss_ISR_A761278796 gale_incontextgauss_IOV_A761278796 gale_healthsolutions_A761278796 crossref_primary_10_1371_journal_pone_0285700 crossref_citationtrail_10_1371_journal_pone_0285700
PublicationCentury	2000
PublicationDate	2023-08-17
PublicationDateYYYYMMDD	2023-08-17
PublicationDate_xml	– month: 08 year: 2023 text: 2023-08-17 day: 17
PublicationDecade	2020
PublicationPlace	San Francisco
PublicationPlace_xml	– name: San Francisco – name: San Francisco, CA USA
PublicationTitle	PloS one
PublicationYear	2023
Publisher	Public Library of Science
Publisher_xml	– name: Public Library of Science
References	M Bradbury (pone.0285700.ref019) 2017 C Girault (pone.0285700.ref011) 2013 H Skistims (pone.0285700.ref004) 2016 B Aziz (pone.0285700.ref041) 2016; 36 pone.0285700.ref026 EM Clarke (pone.0285700.ref015) 2012 pone.0285700.ref024 pone.0285700.ref021 JA Stankovic (pone.0285700.ref018) 2014; 1 T Winter (pone.0285700.ref008) 2012 QM Ashraf (pone.0285700.ref023) 2015; 49 A Proano (pone.0285700.ref046) 2016; 16 MA Khan (pone.0285700.ref039) 2018; 82 W Tang (pone.0285700.ref009) 2016; 2016 F Corno (pone.0285700.ref030) 2014; 7 K Avila (pone.0285700.ref058) 2020; 10 H Sundmaeker (pone.0285700.ref003) 2010; 3 pone.0285700.ref038 pone.0285700.ref036 pone.0285700.ref035 pone.0285700.ref034 Z Shah (pone.0285700.ref061) 2021; 10 A Boytsov (pone.0285700.ref028) 2013; 9 M Casado (pone.0285700.ref052) 2014; 57 C Perera (pone.0285700.ref002) 2013; 16 T Tsvetkov (pone.0285700.ref020) 2011; 59 pone.0285700.ref007 pone.0285700.ref006 K Jensen (pone.0285700.ref048) 1997 M Mohsin (pone.0285700.ref043) 2017; 70 pone.0285700.ref001 pone.0285700.ref045 MR Ali (pone.0285700.ref049) 2021; 7 A Coronato (pone.0285700.ref029) 2011; 6 L Chen (pone.0285700.ref037) 2012; 4 pone.0285700.ref044 pone.0285700.ref040 J Vasseur (pone.0285700.ref010) 2011; 36 Y Zhang (pone.0285700.ref031) 2015; 13 F Corno (pone.0285700.ref033) 2014; 5 A Brachman (pone.0285700.ref051) 2013 S Laghari (pone.0285700.ref032) 2016; 11 J Gubbi (pone.0285700.ref005) 2013; 29 RH Weber (pone.0285700.ref025) 2010; 26 A Al-Fuqaha (pone.0285700.ref022) 2015; 17 J Hui (pone.0285700.ref060) 2012; 6553 pone.0285700.ref017 pone.0285700.ref016 Y Cheng (pone.0285700.ref042) 2018; 2018 pone.0285700.ref059 pone.0285700.ref014 pone.0285700.ref013 pone.0285700.ref057 pone.0285700.ref012 pone.0285700.ref056 pone.0285700.ref055 P Thubert (pone.0285700.ref050) 2012 pone.0285700.ref054 F Ciccozzi (pone.0285700.ref027) 2016 pone.0285700.ref053 A Raoof (pone.0285700.ref047) 2018; 21
References_xml	– volume: 1 start-page: 3 issue: 1 year: 2014 ident: pone.0285700.ref018 article-title: Research directions for the internet of things publication-title: IEEE internet of things journal doi: 10.1109/JIOT.2014.2312291 – volume: 5 start-page: 581 issue: 4 year: 2014 ident: pone.0285700.ref033 article-title: Design-time formal verification for smart environments: an exploratory perspective publication-title: Journal of Ambient Intelligence and Humanized Computing doi: 10.1007/s12652-013-0209-4 – ident: pone.0285700.ref034 doi: 10.1145/2991079.2991085 – volume: 3 start-page: 34 issue: 3 year: 2010 ident: pone.0285700.ref003 article-title: Vision and challenges for realising the Internet of Things publication-title: Cluster of European research projects on the internet of things, European Commision – volume: 7 start-page: e351 year: 2021 ident: pone.0285700.ref049 article-title: Petri Net based modeling and analysis for improved resource utilization in cloud computing publication-title: PeerJ Computer Science doi: 10.7717/peerj-cs.351 – volume: 13 start-page: 1318 issue: 3 year: 2015 ident: pone.0285700.ref031 article-title: IoT-enabled real-time production performance analysis and exception diagnosis model publication-title: IEEE Transactions on Automation Science and Engineering doi: 10.1109/TASE.2015.2497800 – volume: 70 start-page: 199 year: 2017 ident: pone.0285700.ref043 article-title: IoTChecker: A data-driven framework for security analytics of Internet of Things configurations publication-title: Computers & Security doi: 10.1016/j.cose.2017.05.012 – volume: 36 year: 2011 ident: pone.0285700.ref010 article-title: RPL: The IP routing protocol designed for low power and lossy networks publication-title: Internet Protocol for Smart Objects (IPSO) Alliance – volume: 26 start-page: 23 issue: 1 year: 2010 ident: pone.0285700.ref025 article-title: Internet of Things–New security and privacy challenges publication-title: Computer law & security review doi: 10.1016/j.clsr.2009.11.008 – volume: 6553 year: 2012 ident: pone.0285700.ref060 publication-title: The routing protocol for low-power and lossy networks (rpl) option for carrying rpl information in data-plane datagrams – year: 2016 ident: pone.0285700.ref004 article-title: Smart Homes publication-title: Nomos Verlagsgesellschaft mbH & Co. KG – ident: pone.0285700.ref006 – volume: 29 start-page: 1645 issue: 7 year: 2013 ident: pone.0285700.ref005 article-title: Internet of Things (IoT): A vision, architectural elements, and future directions publication-title: Future generation computer systems doi: 10.1016/j.future.2013.01.010 – ident: pone.0285700.ref040 doi: 10.1007/978-3-030-00856-7_27 – year: 2012 ident: pone.0285700.ref050 publication-title: Objective function zero for the routing protocol for low-power and lossy networks (RPL) – volume: 59 start-page: 59 year: 2011 ident: pone.0285700.ref020 article-title: RPL: IPv6 routing protocol for low power and lossy networks publication-title: Network – ident: pone.0285700.ref045 doi: 10.1109/ICCE.2017.7889238 – ident: pone.0285700.ref044 doi: 10.1145/2897035.2897041 – volume: 57 start-page: 86 issue: 10 year: 2014 ident: pone.0285700.ref052 article-title: Abstractions for software-defined networks publication-title: Communications of the ACM doi: 10.1145/2661061.2661063 – ident: pone.0285700.ref016 – year: 2012 ident: pone.0285700.ref008 publication-title: RPL: IPv6 routing protocol for low-power and lossy networks – ident: pone.0285700.ref012 – ident: pone.0285700.ref055 doi: 10.1109/PDGC.2014.7030783 – volume-title: Petri nets for systems engineering: a guide to modeling, verification, and applications year: 2013 ident: pone.0285700.ref011 – start-page: 340 volume-title: Internet of things, smart spaces, and next generation networking year: 2013 ident: pone.0285700.ref051 doi: 10.1007/978-3-642-40316-3_30 – ident: pone.0285700.ref053 doi: 10.1109/ISSNIP.2015.7106958 – ident: pone.0285700.ref057 doi: 10.1109/CyberSA49311.2020.9139695 – ident: pone.0285700.ref024 doi: 10.1109/ICITST.2015.7412116 – volume: 2016 year: 2016 ident: pone.0285700.ref009 article-title: Toward improved RPL: A congestion avoidance multipath routing protocol with time factor for wireless sensor networks publication-title: Journal of Sensors doi: 10.1155/2016/8128651 – volume: 7 start-page: 1582 issue: 10 year: 2014 ident: pone.0285700.ref030 article-title: Modeling and formal verification of smart environments publication-title: Security and Communication Networks doi: 10.1002/sec.794 – ident: pone.0285700.ref036 doi: 10.1145/2566468.2566484 – volume: 10 start-page: 6472 issue: 18 year: 2020 ident: pone.0285700.ref058 article-title: Security aspects for RPL-based protocols: a systematic review in IoT publication-title: Applied Sciences doi: 10.3390/app10186472 – volume: 16 start-page: 414 issue: 1 year: 2013 ident: pone.0285700.ref002 article-title: Context aware computing for the internet of things: A survey publication-title: IEEE communications surveys & tutorials doi: 10.1109/SURV.2013.042313.00197 – volume-title: Coloured Petri nets: basic concepts, analysis methods and practical use year: 1997 ident: pone.0285700.ref048 doi: 10.1007/978-3-642-60794-3 – start-page: 409 volume-title: 2017 IEEE Trustcom/BigDataSE/ICESS year: 2017 ident: pone.0285700.ref019 doi: 10.1109/Trustcom/BigDataSE/ICESS.2017.265 – ident: pone.0285700.ref017 – volume: 49 start-page: 112 year: 2015 ident: pone.0285700.ref023 article-title: Autonomic schemes for threat mitigation in Internet of Things publication-title: Journal of Network and Computer Applications doi: 10.1016/j.jnca.2014.11.011 – ident: pone.0285700.ref059 doi: 10.1109/ETIICT.2017.7977006 – ident: pone.0285700.ref013 – volume: 82 start-page: 395 year: 2018 ident: pone.0285700.ref039 article-title: IoT security: Review, blockchain solutions, and open challenges publication-title: Future generation computer systems doi: 10.1016/j.future.2017.11.022 – volume: 36 start-page: 49 year: 2016 ident: pone.0285700.ref041 article-title: A formal model and analysis of an IoT protocol publication-title: Ad Hoc Networks doi: 10.1016/j.adhoc.2015.05.013 – ident: pone.0285700.ref021 doi: 10.1145/2602087.2602107 – ident: pone.0285700.ref054 doi: 10.1109/SoftCOM.2013.6671893 – ident: pone.0285700.ref001 doi: 10.1109/ITNG.2010.104 – volume: 4 start-page: 3381 issue: 18 year: 2012 ident: pone.0285700.ref037 article-title: Modeling and performance evaluation of internet of things based on petri nets and behavior expression publication-title: Research Journal of Applied Sciences, Engineering and Technology – ident: pone.0285700.ref014 – volume: 9 start-page: 98 issue: 1 year: 2013 ident: pone.0285700.ref028 article-title: Formal verification of context and situation models in pervasive computing publication-title: Pervasive and mobile computing doi: 10.1016/j.pmcj.2012.03.001 – ident: pone.0285700.ref056 doi: 10.1109/ATC.2014.7043425 – ident: pone.0285700.ref038 doi: 10.1007/978-3-319-58460-7_24 – volume: 11 start-page: e0146760 issue: 1 year: 2016 ident: pone.0285700.ref032 article-title: Modeling the internet of things, self-organizing and other complex adaptive communication networks: a cognitive agent-based computing approach publication-title: PloS one doi: 10.1371/journal.pone.0146760 – ident: pone.0285700.ref007 doi: 10.1145/1644038.1644040 – volume: 21 start-page: 1582 issue: 2 year: 2018 ident: pone.0285700.ref047 article-title: Routing attacks and mitigation methods for RPL-based Internet of Things publication-title: IEEE Communications Surveys & Tutorials doi: 10.1109/COMST.2018.2885894 – start-page: 1 year: 2012 ident: pone.0285700.ref015 article-title: Model checking and the state explosion problem publication-title: Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures – volume: 10 start-page: 2320 issue: 19 year: 2021 ident: pone.0285700.ref061 article-title: Routing protocols for mobile Internet of things (IoT): A survey on challenges and solutions publication-title: Electronics doi: 10.3390/electronics10192320 – volume: 16 start-page: 857 issue: 3 year: 2016 ident: pone.0285700.ref046 article-title: Traffic decorrelation techniques for countering a global eavesdropper in WSNs publication-title: IEEE Transactions on Mobile Computing doi: 10.1109/TMC.2016.2573304 – volume: 6 start-page: 1 issue: 1 year: 2011 ident: pone.0285700.ref029 article-title: Formal specification and verification of ubiquitous and pervasive systems publication-title: ACM Transactions on Autonomous and Adaptive Systems (TAAS) doi: 10.1145/1921641.1921650 – volume: 17 start-page: 2347 issue: 4 year: 2015 ident: pone.0285700.ref022 article-title: Internet of things: A survey on enabling technologies, protocols, and applications publication-title: IEEE communications surveys & tutorials doi: 10.1109/COMST.2015.2444095 – ident: pone.0285700.ref026 doi: 10.1007/978-3-319-69462-7_42 – ident: pone.0285700.ref035 doi: 10.1145/2642803.2642807 – start-page: 67 volume-title: International Symposium on Intelligent and Distributed Computing year: 2016 ident: pone.0285700.ref027 – volume: 2018 year: 2018 ident: pone.0285700.ref042 article-title: Modeling and optimization for collaborative business process towards IoT applications publication-title: Mobile Information Systems doi: 10.1155/2018/9174568
SSID	ssj0053866
Score	2.4509194
Snippet	In the Internet of things (IoT), data packets are accumulated and disseminated across IoT devices without human intervention, therefore the privacy and...
SourceID	plos pubmedcentral proquest gale crossref
SourceType	Open Website Open Access Repository Aggregation Database Enrichment Source Index Database
StartPage	e0285700
SubjectTerms	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
SummonAdditionalLinks	– databaseName: Public Library of Science (PLoS) Journals Open Access dbid: FPL link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3db9MwELeg8MALMD60wgCDkICHbImd-uNxQlQgVaMaExpPkeOPMakkVdPy93PnuIUgJuAhihT_HPkud_FdYv-OkJfWFMYp4zJma5aVjNnMyInOhJA1l7n1wscnPZMnJ-r8XM9_Joq__cHnsjhKOj1cto0_hNkQCdmvkxuMw-2Q1nE-2755wXeFSNvjruo5mH7SS3i0XLTdIMIcro_8ZcKZ3vnfod4lt1NoSY97W9gj13xzj-wl5-3o68Qw_eY--TLFSHVBYxkcmLuoaRwcPT0JbQPtUlU7Crmv_-bjtdP5jCKrQwumQ3G5_AVFxuuVdzSW5aKNX3cPyNn03dnb91mqsZBZkZfrTBZO6FoEZpjMg2a51MExqxg48iRYHoIrnFJC6dyIotaWmUmAsK0ulXam4A_JqAFp9wkVgNRKQLhV1qXLpTGOs6B1XeeqDLwcE77VfGUT_ziWwVhU8aeahDyk11OF6quS-sYk2_Va9vwbf8E_w4da9btId-5bHUsI5UAmLcbkRUQg-UWDq2suzKbrqg8fP_8D6NPpAPQqgUILkliTdjTAcJBUa4A8GCDBhe2geR9NcCtQV4EsWDgA0kPouTXLPzc_3zXjTXHFXOPbTcRwDbEwA4wamPNOj8gsPmxpLr9GhnHI0Xmp-eTR1QN7TG4xOOPn9UIekNF6tfFPyE37fX3ZrZ5Gv_wBYW45Rg priority: 102 providerName: Public Library of Science
Title	Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets
URI	https://www.proquest.com/docview/2852600230 https://www.proquest.com/docview/2853943520 https://pubmed.ncbi.nlm.nih.gov/PMC10434935 http://dx.doi.org/10.1371/journal.pone.0285700
Volume	18
WOSCitedRecordID	wos001051745900014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVAON databaseName: DOAJ: Directory of Open Access Journal (DOAJ) customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: DOA dateStart: 20060101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources (ISSN International Center) customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: M~E dateStart: 20060101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: P5Z dateStart: 20061201 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Agricultural Science Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: M0K dateStart: 20061201 isFulltext: true titleUrlDefault: https://search.proquest.com/agriculturejournals providerName: ProQuest – providerCode: PRVPQU databaseName: Biological Science Database (ProQuest) customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: M7P dateStart: 20061201 isFulltext: true titleUrlDefault: http://search.proquest.com/biologicalscijournals providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: M7S dateStart: 20061201 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: Environmental Science Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: PATMY dateStart: 20061201 isFulltext: true titleUrlDefault: http://search.proquest.com/environmentalscience providerName: ProQuest – providerCode: PRVPQU databaseName: Health & Medical Collection (ProQuest) customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: 7X7 dateStart: 20061201 isFulltext: true titleUrlDefault: https://search.proquest.com/healthcomplete providerName: ProQuest – providerCode: PRVPQU databaseName: Materials Science Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: KB. dateStart: 20061201 isFulltext: true titleUrlDefault: http://search.proquest.com/materialsscijournals providerName: ProQuest – providerCode: PRVPQU databaseName: Nursing & Allied Health Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: 7RV dateStart: 20061201 isFulltext: true titleUrlDefault: https://search.proquest.com/nahs providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: BENPR dateStart: 20061201 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Public Health Database (ProQuest) customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: 8C1 dateStart: 20061201 isFulltext: true titleUrlDefault: https://search.proquest.com/publichealth providerName: ProQuest – providerCode: PRVPQU databaseName: Publicly Available Content Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: PIMPY dateStart: 20061201 isFulltext: true titleUrlDefault: http://search.proquest.com/publiccontent providerName: ProQuest – providerCode: PRVATS databaseName: Public Library of Science (PLoS) Journals Open Access customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: FPL dateStart: 20060101 isFulltext: true titleUrlDefault: http://www.plos.org/publications/ providerName: Public Library of Science
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3db9MwELeg44EXYHxohVEMQgIe0iVO6o8ntE2rmNaVqJumbS-RYydjUklK0_L3c-e6hUgIkHjIRarPaey7s8_O-XeEvDU60lZqGzCTsyBhzARaDFTAuchjEZqCF07SIzEey8tLlfoNt8aHVa7HRDdQ29rgHvkekwPEUgeP-ePsW4BZo_Drqk-hcZdsRegbgz6LycV6JAZb5twfl4tFtOel05_VVdGHeRWh3VvTkR-UO7Np3bQ8zna85C8T0PDh_776I_LAu550f6Ur2-ROUT0m2964G_reI1B_eEKuhujJTqlLkwNzG9WVhWsFX0LrkjY-6x2FtXHxtXC_TdIRRdSHGlSLYjj9DUVE7HlhqUvbRati0Twl58Oj88NPgc_BEBgeJotARJarnJdMMxGWioVClZYZycDQB6WJy9JGVkouVah5lCvD9KAEty5PpLI6ip-RTgXdvUMoB04lObhjSZ7YUGhtY1YqleehTMo46ZJ4LYnMeHxyTJMxzdxHNwHrlFU_ZSi_zMuvS4JNrdkKn-Mv_K9QyNnqlOnGvLN9Aa4etEnxLnnjOBAco8Lomxu9bJrs-PPFPzCdTVpM7zxTWUNLjPYnHuB1EHSrxbnb4gQTN63iHVTJdYOa7KdGQc21zv2--PWmGB-KEXVVUS8dT6zAV2bAI1vqvelHRB5vl1S3XxwCOazh40TFg-d__vcX5D6DO27BR2KXdBbzZfGS3DPfF7fNvOdsFemlcFQClYdRj2wdHI3TSc9tjwAdpiOgJwd9oKfhCVKROnoGNB1cQ430-DS9-gFLK1eR
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Nb9MwGLZGQYILMD60wmAGgYBDtsRx7PiA0ARUq1ZKNappcIkcf4xJJSlNC-JH8R95nTiFSAi47MAhl_hJUtvvl2u_z4vQIyUjqVOpA6JyElBCVCB5IgLGeB7zUBlm6pke8fE4PTkRkw30vc2FcccqW5tYG2pdKvcf-R5JE8elDhHzi_nnwFWNcrurbQmNRiwOzbevsGSrng9fwfw-JmTwevryIPBVBQLFQroMeKSZyJklkvDQChJyYTVRKQHRTayKrdWRTlOWilCyKBeKyMRCoJLTVGgZxfDaC-gipSR0SjRJPrSGH0wHYz47L-bRnheG3XlZmF1w445JvuP9vA_ozWdl1Qlwu8czf_F3g2v_2UhdR1d9YI33G03YRBumuIE2vemq8FPPr_3sJno_cHH6DNdFgMBzY1louBpyFlxaXPmafhhW_uaTqe8dTUbYcVqUoDjYJQucYsf3vTAa10XJcGGW1S00PY8e3ka9AmZ3C2EGSJEyCDZpTnXIpdQxsULkeZhSG9M-ituJz5RnX3dFQGZZvaXIYRXWjFPmxCXz4tJHwfqpecM-8hf8jpOprMmhXRuvbJ9DIAt9EqyPHtYIR_1RuLNFp3JVVdnw7fE_gN4ddUBPPMiW0BMlfT4H_BxHKdZBbneQYMBUp3nLaUDboSr7KcDwZCviv29-sG52L3XnBQtTrmpMLGAlQACTdrRpPY6OV73bUpx9rPnVo5DGVMTJnT9_fQddPpi-GWWj4fjwLrpC4J7bbIj4NuotFytzD11SX5Zn1eJ-bSYwys5Z2X4AwA6mJw
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3Nb9MwFLdGQYgLMD60jsEMAgGHrImT2PEBoYlRUa0q1ZjQ4BI5djwmdUlpWhB_Gv8d7yVOIRICLjtwyCV-SWr79z5c-_0eIY-1CpRJlPGYzpgXMaY9JWLpcS6yUPg653k902MxmSQnJ3K6Qb63uTB4rLK1ibWhNqXG_8gHLImRSx0i5oF1xyKmB8OX888eVpDCnda2nEYDkcP821dYvlUvRgcw108YG74-fvXGcxUGPM39aOmJwHCZccsUE76VzBfSGqYTBjCOrQ6tNYFJEp5IX_Egk5qp2ELQkkWJNCoI4bWXyGUBS0w8TTiNP7ZOAMwI5y5TLxTBwAFjb14W-R64dGSV73hC5w9681lZdYLd7lHNX3zf8MZ_PGo3yXUXcNP9RkM2yUZe3CKbzqRV9Jnj3X5-m3wYYvw-o3VxIPDoVBUGroa0hZaWVq7WH60A6ed5fe9oOqbIdVGCQlFMIjilyAO-yA2ti5XRIl9Wd8jxRfTwLukVMNNbhHKQlAmHIDTKIuMLpUzIrJRZ5ieRDaM-CVsQpNqxsmNxkFlabzUKWJ0145QidFIHnT7x1k_NG1aSv8jvIr7SJrd2bdTSfQEBLvRJ8j55VEsgJUiBMDlVq6pKR2_f_4PQu6OO0FMnZEvoiVYuzwN-DlKNdSR3OpJg2HSneQu1oe1Qlf4EMzzZwv33zQ_XzfhSPEdY5OWqlgklrBAYyCQdzVqPI_Ktd1uKs08173rgR2Ekw3j7z1_fJVdBx9LxaHJ4j1xjcAv3IAKxQ3rLxSq_T67oL8uzavGgthiUpBesaz8AXAGu8Q
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Formal+modeling+and+analysis+of+security+schemes+of+RPL+protocol+using+colored+Petri+nets&rft.jtitle=PloS+one&rft.au=Ahmad%2C+Farooq&rft.au=Chaudhry%2C+Muhammad+Tayyab&rft.au=Jamal%2C+Muhammad+Hasan&rft.au=Sohail%2C+Muhammad+Amar&rft.date=2023-08-17&rft.pub=Public+Library+of+Science&rft.issn=1932-6203&rft.eissn=1932-6203&rft.volume=18&rft.issue=8&rft_id=info:doi/10.1371%2Fjournal.pone.0285700&rft.externalDBID=ISR&rft.externalDocID=A761278796
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1932-6203&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1932-6203&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1932-6203&client=summon