ADEBOWALE, A., GOGA, N., OLUWABUKOLA, O., & SAMUEL, A. (2015). Formal Methods in Information Security. INTERNATIONAL JOURNAL OF COMPUTERS &Amp; TECHNOLOGY, 14(4), 5621–5631. https://doi.org/10.24297/ijct.v14i4.1963