On Formal Models for Secure Key Exchange (1999)
by
Victor Shoup
,
Victor Shoup
| Citations: | 65 - 2 self |
BibTeX
@TECHREPORT{Shoup99onformal,
author = {Victor Shoup and Victor Shoup},
title = {On Formal Models for Secure Key Exchange},
institution = {},
year = {1999}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
