3751 search results - page 71 / 751 » Events in security protocols |
EUROCRYPT
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
COMCOM
2000
14 years 9 months ago
2000
Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the r...
ACNS
2006
Springer
15 years 3 months ago
2006
Springer
We propose a new password-based 3-party protocol with a formal security proof in the standard model. Under reasonable assumptions we show that our new protocol is more efficient t...
JSW
2008
14 years 9 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
CEEMAS
2001
Springer
15 years 2 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...