On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol

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]

@inproceedings{BackesP06,
  title = {On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol},
  author = {Michael Backes and Birgit Pfitzmann},
  year = {2006},
  doi = {10.1007/0-387-33406-8_20},
  url = {http://dx.doi.org/10.1007/0-387-33406-8_20},
  tags = {protocol},
  researchr = {https://researchr.org/publication/BackesP06},
  cites = {0},
  citedby = {0},
  pages = {233-245},
  booktitle = {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},
  editor = {Simone Fischer-Hübner and Kai Rannenberg and Louise Yngström and Stefan Lindskog},
  volume = {201},
  series = {IFIP},
  publisher = {Springer},
  isbn = {0-387-33405-X},
}