691 search results - page 26 / 139 » A New Security Model for Authenticated Key Agreement |
103
click to vote
EUROCRYPT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
123
Voted
SEC
2001
15 years 2 months ago
2001
Abstract Traditionally, research in secure group key agreement focuses on minimizing the computational overhead for cryptographic operations, and minimizing the communication overh...
123
click to vote
ACISP
2007
Springer
15 years 7 months ago
2007
Springer
We present a new non-interactive message authentication protocol in manual channel model (NIMAP, for short) using the weakest assumption on the manual channel (i.e. assuming the st...
98
Voted
INFORMATICALT
2008
15 years 1 months ago
2008
The invention of public-key cryptography makes many new network applications, such as electronic commerce (CE), possible. However, the widely used Internet is open and unprotected....
119
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...