Analysis of Secure Authentication Protocol WSN AVISPA HLPSL

Performance Analysis of Secure Authentication Protocol for WSN AVISPA HLPSL

Implementation Plan:
——————————-
Step 1: Initially, We define the HLPSL roles for Server, Tag, and Reader, specifying initial states and variables such as identifiers and secret keys.

Step 2: Next, We Implement HLPSL functions for generating unique identifiers (IDT and IDR) and secret keys (KST, KRS, KRT), define message formats for transmitting them between entities, and synchronize timers between the reader and server.

Step 3: Next, We work with the HLPSL roles and functions for generating random numbers and computing ‘s’, specify message formats for transmitting ‘s’ and identifiers during registration, model the storage of ‘s’ and identifiers in the tag, reader, and server, and implement transitions for storing and transmitting data during the registration process.

Step 4: Next, We define the HLPSL roles for generating messages with random numbers and current time, implement message verification steps for mutual authentication using Elliptic Curve Diffie-Hellman, specify message formats for communication between entities, model steps for checking message integrity and authenticity with Elliptic Curve Diffie-Hellman, and define transitions for verifying messages and updating states accordingly.

Step 5: Finally, We plot the metrics such as
5.1: Execution Cost
5.2: Communication Cost
5.3: Storage Cost

Software Requirement:
——————————-
1. Development Tool : AVISPA with HLPSL Tool
2. Development OS : Ubuntu 10.10 LTS

Note:
——-
1) If the above plan does not satisfy your requirement, please provide the processing details, like the above step-by-step.
2) Please note that this implementation plan does not include any further steps after it is put into implementation.
3) This project is only based on simulations. Not a real time project.
4) If the above plan satisfies your requirement please confirm with us.

Related Pages