Michael Backes, Birgit Pfitzmann. On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol. In Simone Fischer-Hübner, Kai Rannenberg, Louise Yngström, Stefan Lindskog, editors, Security and Privacy in Dynamic Environments, Proceedings of the IFIP TC-11 21st International Information Security Conference (SEC 2006), 22-24 May 2006, Karlstad, Sweden. Volume 201 of IFIP, pages 233-245, Springer, 2006. [doi]
Abstract is missing.