Skip to main content

Key agreement via protocols

A.W. Roscoe and Wang Lei

Book Title
Foundations of Security‚ Protocols and Equational Reasoning
Publisher
Springer
Series
LNCS
Year
2019