Abstract
So I’m talking about protocol verification yet again. There are two formal analyses of Yahalom, one of them is a BAN analysis from the original paper and the other one, of course, is mine. Now there are some reactions to this sort of work that I want to dispose of even before I get away from my title slide. The first is, it was all very well doing a couple of protocols but when is it going to stop? And the point I want to make is that some protocols are different from others in a significant way, and that just because this may be the n-th protocol we can still learn things from it. This particular protocol, although very simple, has features which, I think, cause problems with many other methods of protocol analysis. It’s really quite a subtle protocol.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paulson, L.C. (2000). The Yahalom Protocol. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds) Security Protocols. Security Protocols 1999. Lecture Notes in Computer Science, vol 1796. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720107_11
Download citation
DOI: https://doi.org/10.1007/10720107_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67381-1
Online ISBN: 978-3-540-45570-7
eBook Packages: Springer Book Archive