Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers - Gilles Barthe, Cédric Fournet ((Lecture Notes in Computer Science))