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