A Universally Composable Framework for the Analysis of Browser-Based Security Protocols (Q5505477)
From MaRDI portal
scientific article; zbMATH DE number 5498205
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Universally Composable Framework for the Analysis of Browser-Based Security Protocols |
scientific article; zbMATH DE number 5498205 |
Statements
A Universally Composable Framework for the Analysis of Browser-Based Security Protocols (English)
0 references
27 January 2009
0 references
universal composability
0 references
browser-based protocols
0 references
security model
0 references
