“Formal Methods in Information Security”. INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 14, no. 4 (February 9, 2015): 5621–5631. Accessed June 17, 2026. https://rajpub.com/index.php/ijct/article/view/1963ijct.