Validating Security Protocols under the General Attacker

Тип публикация:

Book Chapter

Автори:

Wihem Arsac; Giampaolo Bella; Xavier Chantry; Luca Compagna

Източник:

Foundations and Applications of Security Analysis, Springer, Berlin, Heidelberg, p.33-51 (2009)
Share/Save