273 search results - page 2 / 55 » Modular Security Proofs for Key Agreement Protocols |
DCC
2008
IEEE
14 years 4 months ago
2008
IEEE
LaMacchia, Lauter and Mityagin recently presented a strong security definition for authenticated key agreement strengthening the well-known Canetti-Krawczyk definition. They also ...
SCN
2010
Springer
13 years 3 months ago
2010
Springer
In this work, we consider Authentication and Key Agreement (AKA), a popular client-server Key Exchange (KE) protocol, commonly used in wireless standards (e.g., UMTS), and widely c...
IACR
2011
12 years 4 months ago
2011
Abstract—In this work we consider two protocols for performing cryptanalysis and security enhancement. The first one by Song, is a password authentication scheme based on smart ...
AFRICACRYPT
2009
Springer
13 years 11 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
ASIACRYPT
2000
Springer
13 years 8 months ago
2000
Springer
A conference key protocol allows a group of participants to establish a secret communication (conference) key so that all their communications thereafter are protected by the key. ...