145
click to vote
LPAR
2007
Springer
16 years 12 days ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...