Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets

• Farooq Ahmad,

  Roles Conceptualization, Data curation, Writing – original draft

  Affiliation Department of Computer Science, COMSATS University Islamabad, Lahore Campus, Lahore, Pakistan

  ⨯
• Muhammad Tayyab Chaudhry,

  Roles Conceptualization, Formal analysis, Investigation

  Affiliation Department of Computer Science, COMSATS University Islamabad, Lahore Campus, Lahore, Pakistan

  ⨯
• Muhammad Hasan Jamal,

  Roles Formal analysis, Methodology, Project administration

  Affiliation Department of Computer Science, COMSATS University Islamabad, Lahore Campus, Lahore, Pakistan

  ⨯
• Muhammad Amar Sohail,

  Roles Data curation, Software, Visualization

  Affiliation Department of Computer Science, COMSATS University Islamabad, Lahore Campus, Lahore, Pakistan

  ⨯
• Daniel Gavilanes ,

  Roles Funding acquisition, Project administration, Resources

  * E-mail: daniel.gavilanes@uneatlantico.es (DG); imranashraf@ynu.ac.kr (IA)

  Affiliations Universidad Europea del Atlántico, Santander, Spain, Universidad Internacional Iberoamericana, Arecibo, Puerto Rico, United States of America, Universidade Internacional do Cuanza, Cuito, Bié, Angola

  ⨯
• Manuel Masias Vergara,

  Roles Investigation, Software, Validation

  Affiliations Universidad Europea del Atlántico, Santander, Spain, Universidad Internacional Iberoamericana, Campeche, México, Fundación Universitaria Internacional de Colombia, Bogotá, Colombia

  ⨯
• Imran Ashraf

  Roles Supervision, Validation, Writing – review & editing

  * E-mail: daniel.gavilanes@uneatlantico.es (DG); imranashraf@ynu.ac.kr (IA)

  Affiliation Department of Information and Communication Engineering, Yeungnam University, Gyeongsan, Korea

  https://orcid.org/0000-0002-8271-6496

  ⨯