Michael Backes, Birgit Pfitzmann, Michael Waidner. Symmetric Authentication within a Simulatable Cryptographic Library. In Einar Snekkenes, Dieter Gollmann, editors, Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003, Proceedings. Volume 2808 of Lecture Notes in Computer Science, pages 271-290, Springer, 2003. [doi]
Abstract is missing.