Automated reasoning for equivalences in the applied pi calculus with barriers.

Autor:	Blanchet, Bruno1 Bruno.Blanchet@inria.fr, Smyth, Ben2 research@bensmyth.com
Zdroj:	Journal of Computer Security. 2018, Vol. 26 Issue 3, p367-422. 56p.
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.