Simulating protocol security is very much protocol codes, attack vectors, server and database farms network architectures specific. It used to be a custom development.

However, apart from security and privacy issues, the key characteristic of the completed remote authentication solution is its efficiency - how many authentication events the system can handle at worst peak times without malfunctioning during standard mass services. It is also typically a custom stuff, but it is easier in implementation.

You may try Avispa for protocol security analysis.

http://www.avispa-project.org/

hi Preeti

See BAN logic + Fuzzy authentication ( Extractor, Vault, ...)

Best Regards

yes, you can simulate the authentication protocols using ONE simulator, NS 2 or NS 3 simulators, and Sumo.

Thank You so much all of you for valuable suggestion

NS-2

you can use BAN Logic/NS2/NS3 Simulators for protocol security performance analysis.

Please, I need help on how to use NS2 and NS3 for authentication protocol simulation

You can use the Scyther tool https://people.cispa.io/cas.cremers/scyther/ or the The Tamarin prover https://tamarin prover.github.io/manual/book/001_introduction.html in order to verify the security claims of the proposed protocol.

Avispa tool