The following pages link to (Q4493895):
Displayed 10 items.
- On compositional reasoning about anonymity and privacy in epistemic logic (Q504214) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Probabilistic and nondeterministic aspects of anonymity (Q843094) (← links)
- Probable innocence revisited (Q860902) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Conditional anonymity with non-probabilistic adversary (Q1750044) (← links)
- Quantifying leakage in the presence of unreliable sources of information (Q2361344) (← links)
- Anonymity protocols as noisy channels (Q2482451) (← links)
- Towards an Awareness-Based Semantics for Security Protocol Analysis (Q2841215) (← links)
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs (Q6152664) (← links)