609 search results - page 21 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
148
click to vote
INDOCRYPT
2004
Springer
15 years 10 months ago
2004
Springer
A definition of secure multi-party key exchange in the Canetti-Krawczyk proof model is proposed, followed by a proof of the security of the Joux tripartite key agreement protocol...
177
click to vote
INFORMATICALT
2007
15 years 5 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
170
click to vote
ASIACRYPT
2004
Springer
15 years 10 months ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
149
click to vote
CRYPTO
2003
Springer
15 years 10 months ago
2003
Springer
We consider the fundamental problem of authenticated group key exchange among n parties within a larger and insecure public network. A number of solutions to this problem have bee...
151
click to vote
EUROCRYPT
2000
Springer
15 years 8 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, ...