860 search results - page 18 / 172 » Uncovering Attacks on Security Protocols |
WSS
2001
13 years 8 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...
ACNS
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. In the paper “Stronger Security of Authenticated Key Exchange” [1,2], a new security model for authenticated key exchange protocols (eCK) is proposed. The new model i...
IJISEC
2008
13 years 7 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
SECRYPT
2008
13 years 8 months ago
2008
Distance-bounding protocols have been proposed by Brands and Chaum in 1993 in order to detect relay attacks, also known as mafia fraud. Although the idea has been introduced fiftee...
EUROCRYPT
2000
Springer
13 years 11 months ago
2000
Springer
Password-based protocols for authenticated key exchange (AKE) are designed to work despite the use of passwords drawn from a space so small that an adversary might well enumerate, ...