ADEBOWALE, AJAYI, NICULAE GOGA, OTUSILE OLUWABUKOLA, and ABEL SAMUEL. 2015. “Formal Methods in Information Security”. INTERNATIONAL JOURNAL OF COMPUTERS &Amp; TECHNOLOGY 14 (4):5621-31. https://doi.org/10.24297/ijct.v14i4.1963.