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  -