An automated quantitative information flow analysis for concurrent programs (Q6103027)
From MaRDI portal
scientific article; zbMATH DE number 7691349
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An automated quantitative information flow analysis for concurrent programs |
scientific article; zbMATH DE number 7691349 |
Statements
An automated quantitative information flow analysis for concurrent programs (English)
0 references
2 June 2023
0 references
information leakage
0 references
protocol security
0 references
quantitative information flow
0 references
confidentiality
0 references
Markovian processes
0 references
