Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers - Rocco Nicola, Davide Sangiorgi ((Lecture Notes in Computer Science))