ADEBOWALE, A.; GOGA, N.; OLUWABUKOLA, O.; SAMUEL, A. Formal Methods in Information Security. IJCT 2015, 14, 5621-5631.