Al-humaikani, M.A.S. and Ab. Rahim, L.B. (2019) A review on the verification approaches and tools used to verify the correctness of security algorithms and protocols. International Journal of Advanced Computer Science and Applications, 10 (6). pp. 146-152. ISSN 2158107X