ARSPA-WITS'11: Joint Workshop on "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security", from this year on: "TOSCA'11 - Theory of Security and Applications"

 

Affiliated with ETAPS 2011 Saarbrücken, Germany, March 31 and April 1, 2011

 

 

Link to TOSCA'11 .