21984 search results - page 178 / 4397 » C |
113
Voted
TACAS
2001
Springer
15 years 9 months ago
2001
Springer
76
Voted
VLDB
2001
ACM
15 years 9 months ago
2001
ACM
116
Voted
CSFW
2000
IEEE
15 years 9 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...
104
click to vote
FCCM
2000
IEEE
15 years 9 months ago
2000
IEEE
Improvements in the FPGA technology have resulted in