Advanced formal authentication protocol using smart cards for network applicants. (February 2018)