Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers - Barthe, Gilles; Fournet, Cédric (Springer Berlin Heidelberg, 2008)