Pages that link to "Item:Q1023286"
From MaRDI portal
The following pages link to Quantifying information leakage in process calculi (Q1023286):
Displaying 15 items.
- Min-entropy as a resource (Q385717) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- Searching secrets rationally (Q899474) (← links)
- Quantifying information leakage of randomized protocols (Q2517235) (← links)
- Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
- On the prevention of fraud and privacy exposure in process information flow (Q2815456) (← links)
- Keeping secrets in resource aware components (Q2870285) (← links)
- Information Leakage of Non-Terminating Processes (Q2978541) (← links)
- A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis (Q3163895) (← links)
- Assessing security threats of looping constructs (Q3189801) (← links)
- An Operational Approach to Information Leakage (Q5123810) (← 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)