Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups (Q5505468)
From MaRDI portal
scientific article; zbMATH DE number 5498198
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups |
scientific article; zbMATH DE number 5498198 |
Statements
Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups (English)
0 references
27 January 2009
0 references
