Sharma, Manoj Kumar.
Formal verification of optimal strong password authentication protocol using AVISPA. - Hamirpur : National Institute of Technology, 2014 - x, 55p.
Thesis or Dissertation
004 / SHA
Formal verification of optimal strong password authentication protocol using AVISPA. - Hamirpur : National Institute of Technology, 2014 - x, 55p.
Thesis or Dissertation
004 / SHA