ARSPA-WITS’09

ARSPA-WITS’09: Joint Workshop on “Automated Reasoning for Security Protocol Analysis” and :Issues in the Theory of Security”,
March 28-29, 2009, York, UK. Affiliated with ETAPS 2009.
Link to the ARSPA-WITS’09 workshop.