Separating the specification and implementation phases in cryptology (Q5857801)
From MaRDI portal
scientific article; zbMATH DE number 7331396
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Separating the specification and implementation phases in cryptology |
scientific article; zbMATH DE number 7331396 |
Statements
Separating the specification and implementation phases in cryptology (English)
0 references
7 April 2021
0 references
cryptology
0 references
security
0 references
cryptographic protocol
0 references
formal verification
0 references
knowledge state
0 references
protocol execution tree
0 references
