the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in