On the properties of epistemic and temporal epistemic logics of authentication

URN:NBN:SI:doc-E17BBZ012019Ahmadi, ShararFallah, Mehran S.Pourmahdian, Massouddocuments/doc/E/URN_NBN_SI_doc-E17BBZ01_001.pdfdocuments/doc/E/URN_NBN_SI_doc-E17BBZ01_001.txt243articlestr. 161-1750350-559632933159URN:NBN:SI:doc-E17BBZ01engSlovensko društvo InformatikaInformatica (Ljubljana)BYavtentikacijaepistemska logikamrežeomrežjaoveritevprotokoliračunalništvoOn the properties of epistemic and temporal epistemic logics of authentication