234 search results - page 21 / 47 » Security Aspects of the Authentication Used in Quantum Crypt... |
167
click to vote
SP
1997
IEEE
15 years 9 months ago
1997
IEEE
Encrypted Key Exchange (EKE) [1, 2] allows two parties sharing a password to exchange authenticated information over an insecure network by using a combination of public and secre...
117
click to vote
FSE
2005
Springer
15 years 11 months ago
2005
Springer
Poly1305-AES is a state-of-the-art message-authentication code suitable for a wide variety of applications. Poly1305-AES computes a 16-byte authenticator of a variable-length messa...
159
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
161
click to vote
CSFW
2007
IEEE
16 years 12 days ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
159
click to vote
AINA
2007
IEEE
16 years 13 days ago
2007
IEEE
We propose a four-party password authenticated interdomain key exchange protocol which makes use of properties of identity-based cryptography and secret public keys. Being passwor...