4421 search results - page 168 / 885 » Libraries |
SIGIR
2003
ACM
15 years 7 months ago
2003
ACM
CCS
2003
ACM
15 years 7 months ago
2003
ACM
ERCIMDL
2003
Springer
15 years 7 months ago
2003
Springer
ERCIMDL
2003
Springer
15 years 7 months ago
2003
Springer
110
click to vote
ESORICS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...