Relations between Secrets: Two Formal Analyses of the Yahalom Protocol, (2001)

by Lawrence Paulson, C
Venue:Proceedings of IEEE Computer Security.