Limits of the cryptographic realization of Dolev-Yao-style XOR (2005)

by M Backes, B Pfitzmann
Venue:In Proc. 10th European Symposium on Research in Computer Security (ESORICS), volume 3679 of LNCS