110
click to vote
JSW
2008
15 years 2 months ago
2008
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...