Ahmad, F., Chaudhry, M. T., Jamal, M. H., Sohail, M. A., Gavilanes, D., Vergara, M. M., & Ashraf, I. (2023). Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets. PloS one, 18(8), e0285700. https://doi.org/10.1371/journal.pone.0285700
Chicago-Zitierstil (17. Ausg.)Ahmad, Farooq, Muhammad Tayyab Chaudhry, Muhammad Hasan Jamal, Muhammad Amar Sohail, Daniel Gavilanes, Manuel Masias Vergara, und Imran Ashraf. "Formal Modeling and Analysis of Security Schemes of RPL Protocol Using Colored Petri Nets." PloS One 18, no. 8 (2023): e0285700. https://doi.org/10.1371/journal.pone.0285700.
MLA-Zitierstil (9. Ausg.)Ahmad, Farooq, et al. "Formal Modeling and Analysis of Security Schemes of RPL Protocol Using Colored Petri Nets." PloS One, vol. 18, no. 8, 2023, p. e0285700, https://doi.org/10.1371/journal.pone.0285700.