?url_ver=Z39.88-2004&rft_id=doi%3A10.1371%2Fjournal.pone.0285700&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Balfaqih&rft.aufirst=Mohammed&rft.au=Balfaqih%2C+Mohammed&rft.atitle=Formal+modeling+and+analysis+of+security+schemes+of+RPL+protocol+using+colored+Petri+nets&rft.pages=e0285700&rft.issn=1932-6203&rft.date=Agosto+2023&rft.title=PLOS+ONE&rft.volume=18&rft.issue=8&rft.genre=article