Theory of Security and Applications: Joint Workshop, Tosca 2011, Saarbr?ken, Germany, March 31-April 1, 2011, Revised Selected Papers (Paperback)