Albermany, S. A. K.; . Alsalhi, I. N. Authentication of RSA via BAN Logic. Jour. Kufa Math. Comp. 2019, 6 (1). https://doi.org/10.31642/JoKMC/2018/060101.