Trustworthy Global Computing : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers - Christos Kaklamanis, Flemming Nielson ((Lecture Notes in Computer Science))