Albermany, S. A. K.; . Alsalhi, I. N. Authentication of RSA via BAN Logic. Jour. Kufa Math. Comp. 2019, 6.