Ahmadi, Sharar, Mehran S. Fallah, and Massoud Pourmahdian. 2019. “On the Properties of Epistemic and Temporal Epistemic Logics of Authentication”. Informatica 43 (2). https://doi.org/10.31449/inf.v43i2.1617.