| Title | Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets |
| Type | Journal |
| Publisher | Plos one |
| Publication Year | 2023 |
| First Author | Farooq Ahmad |
| Second Author | Tayyab Ch. |
| Third Author | |
| Publication Level | International |
| Volume | |
| Publication # | |
| Page # | |
| Submitted by | Farooq Ahmad |
| Department | Computer Science |
| Email |
farooqahmad@cuilahore.edu.pk
|