Real-or-Random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof

Backes, Michael
(2006) Real-or-Random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof.
Electronic Notes in Theoretical Computer Science (ENTCS), 155. pp. 111-145.

[img]
Preview
Text
c23-j9-9-final.pdf.pdf - Published Version

Download (273kB) | Preview

Actions

Actions (login required)

View Item View Item