6 search results - page 2 / 2 » Specifying and checking protocols of multithreaded classes |
117
click to vote
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...