The following publications are possibly variants of this publication:
- A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees ProtocolMichael Backes. esorics 2004: 89-108 [doi]
- Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cyclesMichael Backes, Birgit Pfitzmann, Andre Scedrov. jcs, 16(5):497-530, 2008. [doi]
- Limits of the Cryptographic Realization of Dolev-Yao-Style XORMichael Backes, Birgit Pfitzmann. esorics 2005: 178-196 [doi]
- Limits of the Cryptographic Realization of Dolev-Yao-style XORMichael Backes, Birgit Pfitzmann. iacr, 2005:220, 2005. [doi]
- Cryptographically Sound Security Proofs for Basic and Public-Key KerberosMichael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay. esorics 2006: 362-383 [doi]
- Cryptographically sound security proofs for basic and public-key KerberosMichael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay. ijisec, 10(2):107-134, 2011. [doi]
- Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic LibraryMichael Backes, Birgit Pfitzmann. csfw 2004: 204-218 [doi]
- Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic LibraryMichael Backes, Birgit Pfitzmann. iacr, 2004:59, 2004. [doi]
- Symmetric authentication in a simulatable Dolev-Yao-style cryptographic libraryMichael Backes, Birgit Pfitzmann, Michael Waidner. ijisec, 4(3):135-154, 2005. [doi]
- Limits of the BRSIM/UC soundness of Dolev-Yao-style XORMichael Backes, Birgit Pfitzmann. ijisec, 7(1):33-54, 2008. [doi]