Albermany, Salah A. K., and Israa N.A . Alsalhi. “Authentication of RSA via BAN Logic”. Journal of Kufa for Mathematics and Computer, vol. 6, no. 1, May 2019, doi:10.31642/JoKMC/2018/060101.