S. A. K. Albermany and I. N. . Alsalhi, “Authentication of RSA via BAN logic”, Jour. Kufa Math. Comp., vol. 6, no. 1, May 2019, doi: 10.31642/JoKMC/2018/060101.