TY - BOOK AU - Sharma,Manoj Kumar TI - Formal verification of optimal strong password authentication protocol using AVISPA U1 - 004 PY - 2014/// CY - Hamirpur PB - National Institute of Technology KW - Thesis or Dissertation ER -