Biblio Export 1 results: RTF EndNote XML Filters: Author is Xavier Chantry [Clear All Filters]2009Arsac, Wihem, Giampaolo Bella, Xavier Chantry, and Luca Compagna. "Validating Security Protocols under the General Attacker." In Foundations and Applications of Security Analysis, 33-51. Berlin, Heidelberg: Springer, 2009.DOI(link is external) Google Scholar(link is external) RTF EndNote XML