Formal analysis of modern security protocols

Autor:	Yasinsac, Alec, Childs, Justin
Zdroj:	In Information Sciences 2005 171(1):189-211
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect