Welcome to the resource topic for 1999/012
Title:
On Formal Models for Secure Key Exchange
Authors: Victor Shoup
Abstract:A new formal security model for session key exchange protocols is
proposed, and several efficient protocols are analyzed in this model.
Our new model is in the style of multi-party simulatability: it
specifies 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 explored, and in particular, several
flaws and shortcomings in previously proposed models are discussed.
The model also deals with anonymous users—that is, users who do not
have public keys, but perhaps have passwords that can be used to
authenticate themselves within a secure session.
ePrint: https://eprint.iacr.org/1999/012
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .