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