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


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


2 Figures and Tables


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