Michael Backes Birgit Pfitzmann Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. 33-54 2008 7 Int. J. Inf. Sec. 1 http://dx.doi.org/10.1007/s10207-007-0040-z db/journals/ijisec/ijisec7.html#BackesP08