An Epistemic Foundation for Authentication Logics (Extended Abstract) | Read Paper on Bytez