Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR

Michael Backes, Birgit Pfitzmann. Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. Int. J. Inf. Sec., 7(1):33-54, 2008. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: