120
click to vote
MMMACNS
2001
Springer
15 years 7 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...