To know or not to know: epistemic approaches to security protocol verification

Autor:	Dechesne, Francien, Wang, Yanjing
Zdroj:	Synthese, 2010 Dec 01. 177, 51-76.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/40985732 Zobrazit plný text záznamu Full text from SpringerLink