Formal security proof for a scheme on a topological network (Q6112255)
From MaRDI portal
scientific article; zbMATH DE number 7709022
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal security proof for a scheme on a topological network |
scientific article; zbMATH DE number 7709022 |
Statements
Formal security proof for a scheme on a topological network (English)
0 references
7 July 2023
0 references
key establishment protocols
0 references
elliptic curve cryptography
0 references
discrete logarithm problem
0 references
formal security
0 references
key recovery
0 references
key indistinguishability
0 references
