Precise quantitative information flow analysis -- a symbolic approach (Q2453114)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Precise quantitative information flow analysis -- a symbolic approach |
scientific article |
Statements
Precise quantitative information flow analysis -- a symbolic approach (English)
0 references
6 June 2014
0 references
security
0 references
information flow
0 references
quantitative analysis
0 references
polyhedral model
0 references
symbolic model counting
0 references
program specifications
0 references
0 references
