Pourmahdian, Massoud, Amirkabir university of Technology, Iran, Islamic Republic of

• Vol 43, No 2 (2019) - Overview papers
  On the Properties of Epistemic and Temporal Epistemic Logics of Authentication
  Abstract  PDF