?url_ver=Z39.88-2004&rft_id=10.14569%2Fijacsa.2019.0100621&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Al-humaikani%2C+M.A.S.&rft.aulast=Al-humaikani&rft.aufirst=M.A.S.&rft.pages=146-152&rft.atitle=A+review+on+the+verification+approaches+and+tools+used+to+verify+the+correctness+of+security+algorithms+and+protocols&rft.volume=10&rft.issn=2158107X&rft.issue=6&rft.date=2019&rft.title=International+Journal+of+Advanced+Computer+Science+and+Applications&rft.genre=article