How can I verify or test the mutual authentication algorithms? Do you have any simulation tool or other software tool that can be used for this purpose? Please guide.
Use Colored Petri Nets (http://cpntools.org/). It has built in examples for protocol verification. I found this approach very powerful.
Mutual authentication algorithms vary according to the technique of authentication. Which method you use?
There are no generic verification technique for all Mutual Authentication Algorithms.
there are many tools for protocol verification. such as AVISPA and SPIN. I used AVISPA to verify a mutual authentication protocol. It has a library of verified authentication protocols which is very helpful
If you want to try something less common but equally powerful, I suggest you to use Casper/FDR. There are a few papers online which apply it to mutual authentication protocols.
the link is good to start with steganography or stegano analysis :
https://github.com/matthewgao/RS-analysis
AVISPA and Proverif are two poweful tools for protocol verification.
- Badges
- Science topic