Pages that link to "Item:Q1023286"
From MaRDI portal
The following pages link to Quantifying information leakage in process calculi (Q1023286):
Displaying 6 items.
- Value-passing CCS with noisy channels (Q428864) (← links)
- Searching secrets rationally (Q899474) (← links)
- Automation of Quantitative Information-Flow Analysis (Q5300883) (← links)
- A semiring-based trace semantics for processes with applications to information leakage analysis (Q5740623) (← links)
- Asymptotic information leakage under one-try attacks (Q5740624) (← links)
- Quantifying opacity (Q5740626) (← links)
