ADEBOWALE A, GOGA N, OLUWABUKOLA O, SAMUEL A. Formal Methods in Information Security. IJCT [Internet]. 2015 Feb. 9 [cited 2024 Apr. 29];14(4):5621-3. Available from: https://rajpub.com/index.php/ijct/article/view/1963ijct