A mutation-based approach for the formal and automated analysis of security ceremonies.

Autor:	Sempreboni, Diego1 (AUTHOR) diego.sempreboni@kcl.ac.uk, Viganò, Luca1 (AUTHOR) luca.vigano@kcl.ac.uk
Zdroj:	Journal of Computer Security. 2023, Vol. 31 Issue 4, p293-364. 72p.
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.