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