Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers - TGC 2005 (2005 : Edinburgh, Scotland); De Nicola, Rocco; Sangiorgi, Davide; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2005)
Keywords: Computer security -- congresses; Computer networks -- Security measures -- Congresses; Computer science; Computer software -- Validation -- Congresses; Computer software -- Verification -- Congresses; Computer Science; Computer Communication Networks; Logics and Meanings of Programs; Operating Systems; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering