01191nam--2200361---45--99000310078020331620080428141735.0978-3-540-78662-7000310078USA01000310078(ALEPH)000310078USA0100031007820080428d2008----km-y0ITAy0103-------baengDEa---||||001yyTrustworthy global computingthird symposium, TGC 2007Sophia-Antilopis, France, November 2007revised selected papersGilles Barthe, Cédric Fournet (Eds.)Berlin [etc.]Springercopyr. 2008XI, 400 p.ill.24 cmLecture notes in computer science49122001Lecture notes in computer science4912InformaticaCongressiSophia-Antipolis2007006.3BARTHE,GillesFOURNET,CédricITAsalbcISBD990003100780203316001 LNCS 491236667/CBS00100217270BKSCICBAS1020080428USA011417Trustworthy Global Computing771960UNISA