An Epistemic Foundation for Authentication Logics