Quick Links

CUI Home Research Portal Scholarships Portal Photo Gallery CUI Blogs CUI Job Portal Open Access Journals CUI Thesis Repository CUI Conference & Workshops CUI Union Catalogue

Research Paper Detail

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

Publisher: PLOS ONE
Publication Year: 2023

First Author:  Farooq Ahmad Second Author:  Muhammad Tayyab Chaudhry
Third Author:  Muhammad Hasan Jamal Volume:  18
Publication #:  8 Page #: 
Level:   International Type:  Journal
Email:  mhjamal@cuilahore.edu.pk
Muhammad Hasan Jamal

Assistant Professor
Computer Science Department
Lahore Campus

Profile.. Publications..


Contact Us
Tel: +92-51-9247000-9247002 and 9049802
UAN: +92-51-111-001-007
Reach Us at
Park Road, Tarlai Kalan,
Islamabad 45550, Pakistan


Powered by: ITCentre