Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
- Michael Backes
- 2006
- Electronic Notes in Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
11 results at Electronic Notes in Theoretical Computer Science