Validating Security Protocols under the General Attacker

Publication Type:

Book Chapter

Authors:

Wihem Arsac; Giampaolo Bella; Xavier Chantry; Luca Compagna

Source:

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