The protocol-analysis tag has no wiki summary.
1
vote
2answers
198 views
Are there any tools for modelling and analysis of Cryptographic protocols?
Iam designing few cryptographic protocols and am new to it.
Are there any well known tools that can be used to model/design these protocols ?
And also verify/Analyze their validity ?
If not a tool , ...
