Publication | Open Access

To know or not to know: epistemic approaches to security protocol verification