CORR
2010
Springer
13 years 11 months ago
2010
Springer
Type-flaw attacks and multi-protocol attacks on security protocols have been frequently reported in the literature. Heather et al. and Guttman et al. proved that these could be pr...