“Formal Methods in Information Security”. INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, vol. 14, no. 4, Feb. 2015, pp. 5621-3, https://doi.org/10.24297/ijct.v14i4.1963.