Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Macovei, Bogdan"'
Autor:
Macovei, Bogdan
Publikováno v:
EPTCS 389, 2023, pp. 56-64
Epistemic protocols represents a current field of interest, with numerous approaches still being studied. In this paper we formalize parallel sessions of the The Muddy Children Puzzle using Public Observation Logic, a system that allows epistemic upd
Externí odkaz:
http://arxiv.org/abs/2309.13799
Autor:
Leustean, Ioana, Macovei, Bogdan
The formal analysis of security protocols is a challenging field, with various approaches being studied nowadays. The famous Burrows-Abadi-Needham Logic was the first logical system aiming to validate security protocols. Combining ideas from previous
Externí odkaz:
http://arxiv.org/abs/2109.05599
EVOLUŢIA PORTARILOR LA CAMPIONATUL EUROPEAN DE HANDBAL MASCULIN (20 ANI), BUCUREŞTI 2008. (Romanian)
Publikováno v:
Gymnasium: Journal of Physical Education & Sports; 2009, Vol. 10 Issue 2, p230-233, 4p
Publikováno v:
Gymnasium: Journal of Physical Education & Sports; 2009, Vol. 10 Issue 2, p226-229, 4p