TOSCA’11

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 .