10890 search results - page 110 / 2178 » Automatic Complexity Analysis |
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
CAV
1999
Springer
15 years 7 months ago
1999
Springer
MM
1998
ACM
15 years 7 months ago
1998
ACM
CIKM
1997
Springer
15 years 7 months ago
1997
Springer