Trustworthy global computing: 6th international symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers - Roberto Bruni, editor ([Springer-Verlag, ], 2012)