Tomović, S.; Ognjanović, Z.; Doder, D. A first-order logic for reasoning about knowledge and probability. (English) Zbl 1446.03038 ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020). MSC: 03B42 03B48 68T27 68T42 PDF BibTeX XML Cite \textit{S. Tomović} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020; Zbl 1446.03038) Full Text: DOI
Tomović, Siniša; Mihaljević, Miodrag J.; Perović, Aleksandar; Ognjanović, Zoran A protocol for provably secure authentication of a tiny entity to a high performance computing one. (English) Zbl 1400.94187 Math. Probl. Eng. 2016, Article ID 9289050, 9 p. (2016). MSC: 94A62 94A60 PDF BibTeX XML Cite \textit{S. Tomović} et al., Math. Probl. Eng. 2016, Article ID 9289050, 9 p. (2016; Zbl 1400.94187) Full Text: DOI