Logics for reasoning about cryptographic constructions (Q2490263)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logics for reasoning about cryptographic constructions |
scientific article |
Statements
Logics for reasoning about cryptographic constructions (English)
0 references
28 April 2006
0 references
Security protocols
0 references
Cryptographically sound proofs
0 references
Nonstandard arithmetics
0 references
0 references
