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