“Formal Methods in Information Security” (2015) INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, 14(4), pp. 5621–5631. doi:10.24297/ijct.v14i4.1963.