ADEBOWALE, AJAYI, NICULAE GOGA, OTUSILE OLUWABUKOLA, and ABEL SAMUEL. “Formal Methods in Information Security”. INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 14, no. 4 (February 9, 2015): 5621–5631. Accessed April 29, 2024. https://rajpub.com/index.php/ijct/article/view/1963ijct.