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