Victor Shoup  Home/Search
Context Related
| shoup.net/papers/skey.ps.Z 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 Problem Downloading? From: shoup.net/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A new formal security model for session key exchange protocols in the public key setting is proposed, and several efficient protocols are analyzed in this model. The relationship between this new model and previously proposed models is explored, and several interesting, subtle distinctions between static and adaptive adversaries are explored. We also give a brief account of anonymous users. 1 Introduction In this paper, we investigate formal models of security for authenticated key exchange... (Update)
Cited by: More
Unknown - Security Requirements And (Correct)
On the Resilience of Key Agreement Protocols - To Key Compromise (2006) (Correct)
Key Confirmation and Adaptive Corruptions - In The Protocol (2006) (Correct)
Similar documents (at the sentence level):
17.9%: On Formal Models for Secure Key Exchange (version 4) - Shoup (1999) (Correct)
Active bibliography (related documents): More All
0.5: Analysis of Key-Exchange Protocols and Their Use for.. - Canetti, Krawczyk (2001) (Correct)
0.3: Authenticated Diffie-Hellman Key Agreement Protocols - Blake-Wilson, Menezes (1998) (Correct)
0.2: An Efficient Protocol for Authenticated Key Agreement - Law, Menezes, Qu, Solinas, .. (1998) (Correct)
Similar documents based on text: More All
0.6: Initiator-Resilient Universally Composable Key Exchange - Hofheinz, Müller-Quade.. (2003) (Correct)
0.4: Session Key Distribution Using Smart Cards - Shoup, Rubin (1996) (Correct)
0.4: Provably Secure Key Exchange: An Engineering Approach - Tin, Boyd, Nieto (2003) (Correct)
Related documents from co-citation: More All
46: A modular approach to the design and analysis of authentication and key exchange.. (context) - Bellare, Canetti et al. - 1998
40: Authenticated Key Exchange Secure Against Dictionary Attacks - Bellare, Pointcheval et al.
39: Entity authentication and key distribution (context) - Bellare, Rogaway - 1993
BibTeX entry: (Update)
V. Shoup. On Formal Models for Secure Key Exchange. Theory of Cryptography Library Record 99-12, http://philby.ucsd.edu/cryptolib/ and invited talk at ACM Computer and Communications Security conference, 1999. http://citeseer.ist.psu.edu/article/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/article/shoup99formal.html" }
Citations (may not include all citations):659 Random oracles are practical: a paradigm for designing effic.. - Bellare, Rogaway - 1993 DBLP
635 New directions in cryptography - Diffie, Hellman - 1976 ACM
501 A digital signature scheme secure against adaptive chosen-me.. - Goldwasser, Micali et al. - 1988 ACM DBLP
326 Non-malleable cryptography - Dolev, Dwork et al. - 1991 ACM
260 Relations among notions security for public-key encryption s.. (context) - Bellare, Desai et al. - 1998
254 A practical public key cryptosystem provably secure against .. - Cramer, Shoup - 1998 ACM DBLP
188 Entity authentication and key distribution (context) - Bellare, Kilian et al. - 1993 ACM DBLP
186 A public key cryptosystem and signature scheme based on disc.. (context) - Gamal - 1985
130 Provably secure session key distribution---the three party c.. - Bellare, Rogaway - 1995
120 A modular approach to the design and analysis of authenticat.. (context) - Bellare, Canetti et al. - 1998
97 Pseudorandomness and Cryptographic Applications (context) - Luby - 1996 ACM
90 Secure multiparty protocols and zero-knowledge proof systems.. (context) - Beaver - 1991 DBLP
87 Authentication and authenticated key exchange - Diffie, van Oorschot et al. - 1992
56 Systematic design of two-party authentication protocols - Bird, Gopal et al. - 1991 ACM DBLP
55 Number-theoretic constructions of efficient pseudo-random fu.. - Naor, Reingold - 1997 ACM DBLP
40 The Decision Diffie-Hellman Problem - Boneh - 1998 ACM DBLP
11 Publicly verifiable secrete sharing (context) - Stadler - 1996
4 Key agreement protocols and their security analysis (context) - Blake-Wilson, Johnson et al. - 1997 ACM DBLP
2 Entity authentication and key transport protocols employing .. (context) - Blake-Wilson, Menesez - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.shoup.net/papers/): More
Practical Threshold Signatures - Shoup (1999) (Correct)
Session Key Distribution Using Smart Cards - Shoup, Rubin (1996) (Correct)
Primality Testing with Fewer Random Bits - Peralta, Shoup (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