Modular Security Proofs for Key Agreement Protocols (Q5451090)
From MaRDI portal
scientific article; zbMATH DE number 5250433
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Security Proofs for Key Agreement Protocols |
scientific article; zbMATH DE number 5250433 |
Statements
Modular Security Proofs for Key Agreement Protocols (English)
0 references
18 March 2008
0 references
