Pages that link to "Item:Q2453114"
From MaRDI portal
The following pages link to Precise quantitative information flow analysis -- a symbolic approach (Q2453114):
Displaying 4 items.
- Computing Information Flow Using Symbolic Model-Checking (Q2978540) (← links)
- Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy (Q5166664) (← links)
- Upper bound computation of information leakages for unbounded recursion (Q6045049) (← links)
- An automated quantitative information flow analysis for concurrent programs (Q6103027) (← links)