BAN logic with AVISPA or NS3 tool verify

1. Go through 4 papers and then use Ban Logic that can reduce a mathematical expression Moreover, the algorithm should reduce computation, memory and process time. To achieve mutual authentication property. To achieve anonymity property. To achieve secure localization property. To reduce computation overhead. To achieve mutual authentication property. To achieve anonymity property. To achieve secure localization property. To defeat forgery attacks. To reduce computation overhead. Should be written as there is a gab in authentication and the proposed scheme will solve it.

2. Create a general table or figure for all phases process such as registration, login, authentication, password change etc.

3. Validate and test the proposed protocol using AVISPA tool or NS3 tool and write the prof that it is secure.

4. Prof that the proposed protocol is against at least 5 attacks such as man in the middle, DoS, device stolen attack, session key disclosure attack, masquerade attack …etc and compare the result with the previous 4 papers.

5. Compare the proposed protocol to the ‘previous 4 papers’ in performance analyses such as computation overhead, communication overhead, storage overhead.

6. Write a conclusion of the work that the proposed protocol is prof for security, less computation, storage, more performance etc.. and write what can be used as a future work.

Cryptography Internet of Things (IoT) Certified Information Systems Security Professional (CISSP) Network Security Computer Security

Project ID: #24834525

About the project