Advanced formal authentication protocol using smart cards for network applicants. - Trupil Limbasiya; Mukesh Soni; Sajal Kumar Mishra (Comput. Electr. Eng., 2018)