This book constitutes the thoroughly refereed post-conference proceedings of the 9th
International Symposium on Trustworthy Global Computing TGC 2014 held in Rome Italy in
September 2014. The 15 revised full papers presented were carefully reviewed and selected from
20 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks tools
algorithms and protocols for open-ended large-scale systems and applications and on rigorous
reasoning about their behavior and properties.
