Symbolic protocol verification with dice1.

Autor:	Cheval, Vincent1 (AUTHOR) vincent.cheval@inria.fr, Crubillé, Raphaëlle2 (AUTHOR) raphaelle.crubille@lis-lab.fr, Kremer, Steve3 (AUTHOR) steve.kremer@inria.fr
Zdroj:	Journal of Computer Security. 2023, Vol. 31 Issue 5, p501-538. 38p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.