On the properties of epistemic and temporal epistemic logics of authentication - Ahmadi, Sharar (Informatica (Ljubljana), 2019)
Keywords: avtentikacija; epistemska logika; mreže; omrežja; overitev; protokoli; računalništvo