ADEBOWALE, A., N. GOGA, O. OLUWABUKOLA, and A. SAMUEL. “Formal Methods in Information Security”. INTERNATIONAL JOURNAL OF COMPUTERS &Amp; TECHNOLOGY, vol. 14, no. 4, Feb. 2015, pp. 5621-3, doi:10.24297/ijct.v14i4.1963.