Formal Methods in Information Security. IJCT 2015, 14 (4), 5621-5631. https://doi.org/10.24297/ijct.v14i4.1963.