Trustworthy Global Computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers - Catuscia Palamidessi, Mark D. Ryan ((Lecture Notes in Computer Science))