Wihem Arsac

	2009
1		Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna: Validating Security Protocols under the General Attacker. ARSPA-WITS 2009: 34-51

Coauthor Index

1	Giampaolo Bella	[1]
2	Xavier Chantry	[1]
3	Luca Compagna	[1]