On the properties of epistemic and temporal epistemic logics of authentication