Automated Verification of e-Cash Protocols.

Autor:	Dreier, Jannik, Kassem, Ali, Lafourcade, Pascal
Zdroj:	E-Business & Telecommunications (9783319302218); 2016, p223-244, 22p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu