A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol (Q5862307)
From MaRDI portal
scientific article; zbMATH DE number 7485493
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol |
scientific article; zbMATH DE number 7485493 |
Statements
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol (English)
0 references
7 March 2022
0 references
cryptographic protocol
0 references
security proof
0 references
consistency property
0 references
symmetric encryption
0 references
commitment problem
0 references
