No label defined (Q4808837)
From MaRDI portal
scientific article; zbMATH DE number 2090144
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2090144 |
Statements
12 August 2004
0 references
security
0 references
cryptography
0 references
formal verification
0 references
PVS
0 references
simulatability
0 references
