Backes, M., & Pfitzmann, B. (2008). Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. International Journal of Information Security, 7(1), 33-54. doi:10.1007/s10207-007-0040-z.