“Formal Methods in Information Security”, IJCT, vol. 14, no. 4, pp. 5621–5631, Feb. 2015, doi: 10.24297/ijct.v14i4.1963.