Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption (Q5458849)
From MaRDI portal
scientific article; zbMATH DE number 5267238
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption |
scientific article; zbMATH DE number 5267238 |
Statements
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption (English)
0 references
24 April 2008
0 references
