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