Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers - TGC 2007 (2007 : Sophia-Antipolis, France); Barthe, Gilles; Fournet, Cedric; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Computer security -- congresses; Computer software -- Verification -- Congresses; Computer Science; Computer Communication Networks; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Systems and Data Security