Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Affiliated with ETAPS 2009
Event date
March 28-29, 2009
Location
York, UK
results
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Affiliated with ETAPS 2009
March 28-29, 2009
York, UK