The IITM model: a simple and expressive model for universal composability (Q2210435)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The IITM model: a simple and expressive model for universal composability |
scientific article |
Statements
The IITM model: a simple and expressive model for universal composability (English)
0 references
6 November 2020
0 references
universal composability
0 references
protocol analysis
0 references
foundations
0 references
0 references