Pages that link to "Item:Q3498468"
From MaRDI portal
The following pages link to Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468):
Displaying 6 items.
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Conditional anonymity with non-probabilistic adversary (Q1750044) (← links)
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468) (← links)
- A quantitative doxastic logic for probabilistic processes and applications to information-hiding (Q5188177) (← links)
- Refinement of Kripke Models for Dynamics (Q5505597) (← links)
- Epistemic Strategies and Games on Concurrent Processes (Q5901384) (← links)