334 search results - page 66 / 67 » Public Key Encryption for the Forgetful |
ESORICS
2003
Springer
14 years 18 days 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...
IMC
2007
ACM
13 years 9 months ago
2007
ACM
The Secure Socket Layer (SSL) and its variant, Transport Layer Security (TLS), are used toward ensuring server security. In this paper, we characterize the cryptographic strength ...
CCS
2011
ACM
12 years 7 months ago
2011
ACM
Many users face surveillance of their Internet communications and a significant fraction suffer from outright blocking of certain destinations. Anonymous communication systems a...
CSFW
2002
IEEE
14 years 10 days 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 ...
ELPUB
1998
ACM
13 years 11 months ago
1998
ACM
The Library in the card is the slogan which would summarize the aims of the Univeritat Autonoma de Barcelona (UAB) Library Service in its involvement in several EC Libraries Progr...