A Formalization of Anonymity and Onion Routing (Q5862309)
From MaRDI portal
scientific article; zbMATH DE number 7485494
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Formalization of Anonymity and Onion Routing |
scientific article; zbMATH DE number 7485494 |
Statements
A Formalization of Anonymity and Onion Routing (English)
0 references
7 March 2022
0 references
selection function
0 references
observable action
0 references
message sequence charts
0 references
attribution function
0 references
invisible action
0 references
