1490 search results - page 60 / 298 » The Logic of Authentication Protocols |
126
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Protocols for password-based authenticated key exchange (PAKE) allow two users who share only a short, low-entropy password to agree on a cryptographically strong session key. The...
112
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
152
Voted
TCS
2002
15 years 3 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
114
Voted
WS
2004
ACM
15 years 9 months ago
2004
ACM
802.11i is an IEEE standard designed to provide enhanced MAC security in wireless networks. The authentication process involves three entities: the supplicant (wireless device), t...
125
Voted
EUROPKI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. At present, network users have to manage a set of authentication credentials (usually a username/password pair) for every service with which they are registered. Single S...