Formal verification of optimal strong password authentication protocol using AVISPA.
By: Sharma, Manoj Kumar
Material type:
TextPublisher: Hamirpur : National Institute of Technology, 2014Description: x, 55pGenre/Form: Thesis or Dissertation DDC classification: 004 Dissertation note: Master of Technology, Department of Computer Science and Engineering, National Institute of Technology Hamirpur, Himachal Pradesh, India - 177005. 2014 Guide / Supervisor: Dutta, Kamlesh.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Thesis or Dissertation
|
Computer Science and Engineering (Departmental Library) On Display | 004 SHA (Browse shelf) | Available | CS-DR-194 | |
|
Thesis or Dissertation
|
Computer Science and Engineering (Departmental Library) On Display | 004 SHA (Browse shelf) | Available | CS-DR-195 | |
|
Thesis or Dissertation
|
Computer Science and Engineering (Departmental Library) On Display | 004 SHA (Browse shelf) | Available | CS-DR-196 |
Master of Technology, Department of Computer Science and Engineering, National Institute of Technology Hamirpur, Himachal Pradesh, India - 177005. 2014
There are no comments on this title.