Limits of the Cryptographic Realization of Dolev-Yao-style XOR

Michael Backes, Birgit Pfitzmann. Limits of the Cryptographic Realization of Dolev-Yao-style XOR. IACR Cryptology ePrint Archive, 2005:220, 2005. [doi]

Abstract

Abstract is missing.