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