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

Backes, Michael and Pfitzmann, Birgit
(2008) Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR.
International Journal of Information Security, 7 (1). pp. 33-54.

[img]
Preview
Text
c32-j16-16-final.pdf - Published Version

Download (485kB) | Preview

Actions

Actions (login required)

View Item View Item