Trustworthy global computing
Subtitle: third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers
By: Gilles Barthe, Cédric Fournet (eds.).
Contributors: Barthe, Gilles, 1967-; Fournet, Cédric.
Series: Lecture notes in computer science -- 4912
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 400
ISBN-13: 9783540786627
Subjects: Computer security -- Congresses; Computer networks -- Security measures -- Congresses; Computer software -- Validation -- Congresses; Computer software -- Verification -- Congresses
Genres: Congresses
Notes: Includes bibliographical references and index.