Gilles Barthe Cédric Fournet Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers 4912 2008 978-3-540-78662-7 TGC Lecture Notes in Computer Science Springer db/conf/tgc/tgc2007.html