Composition of password-based protocols
Chevalier, Céline, Delaune, Stéphanie, Kremer, Steve, Ryan, Mark D.Том:
43
Мова:
english
Журнал:
Formal Methods in System Design
DOI:
10.1007/s10703-013-0184-6
Date:
December, 2013
Файл:
PDF, 1.25 MB
english, 2013