Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels

Abstract

We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys some important analytical benefits: (i) any key-exchange protocol that satisfies the security definition can be composed with symmetric encryption and authentication functions to provide… (More)
DOI: 10.1007/3-540-44987-6_28

Topics

2 Figures and Tables

Statistics

01020'04'06'08'10'12'14'16'18
Citations per Year

78 Citations

Semantic Scholar estimates that this publication has 78 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics