Victor Shoup  Home/Search
Context Related
| iacr.org/1999/012.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iacr.org/complete/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A new formal security model for session key exchange protocols is proposed, and several ecient protocols are analyzed in this model. Our new model is in the style of multi-party simulatability: it speci es the service and security guarantees that a key exchange protocol should provide to higher-level protocols as a simple, natural, and intuitive interface to which a high-level protocol designer can program. The relationship between this new model and previously proposed models is... (Update)
Cited by: More
Modelling and Security Analysis of Authenticated Group Key.. - Pereira (2003) (Correct)
Similar documents (at the sentence level):
12.7%: On Formal Models for Secure Key Exchange - Shoup (1999) (Correct)
Active bibliography (related documents): More All
0.5: Optimistic Fair Exchange of Digital Signatures - Asokan, Shoup, Waidner (1998) (Correct)
0.0: Session-Key Generation using Human Passwords Only - Goldreich, Lindell (2000) (Correct)
0.0: Composition and Integrity Preservation of Secure Reactive.. - Pfitzmann, Waidner (2000) (Correct)
Similar documents based on text: More All
0.5: OAEP Reconsidered - Shoup (2000) (Correct)
0.4: Signature Schemes Based on the Strong RSA Assumption - Cramer, Shoup (1999) (Correct)
0.4: A Proposal for an ISO Standard for Public Key Encryption (version.. - Shoup (2001) (Correct)
Related documents from co-citation: More All
2: Provably Authenticated Group Die-Hellman Key Exchange { The Dynamic Case (context) - Bresson, Chevassut et al. - 2001
BibTeX entry: (Update)
V. Shoup. On formal models for secure key exchange - version 4. Technical Report RZ3120, IBM Zurich Research Lab, Nov. 1999. http://citeseer.ist.psu.edu/shoup99formal.html More
@techreport{ shoup99formal,
author = "Victor Shoup",
title = "On Formal Models for Secure Key Exchange",
number = "RZ 3120 (\#93166)",
year = "1999",
url = "citeseer.ist.psu.edu/shoup99formal.html" }
Citations (may not include all citations):120 A modular approach to the design and analysis of authenticat.. (context) - Bellare, Canetti et al. - 1998
90 Secure multiparty protocols and zero-knowledge proof systems.. (context) - Beaver - 1991
2 ACM Transactions on Compter Systems (context) - Burrows, Abadi et al. - 1990
Documents on the same site (http://eprint.iacr.org/complete/): More
A Tool for Obtaining Tighter Security Analyses of.. - Bellare, Impagliazzo (1999) (Correct)
Chameleon Hashing and Signatures - Krawczyk, Rabin (1997) (Correct)
Verifiable Encryption and Applications to Group.. - Camenisch, Damgård (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC