TY - BOOK ID - 7691462 TI - Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 : revised selected papers AU - Kaklamanis, Christos. AU - Nielson, Flemming. AU - TGC 2008 PY - 2009 SN - 3642009441 364200945X PB - Berlin ; New York : Springer, DB - UniCat KW - Computer security KW - Computer networks KW - Computer software KW - Computer Science KW - Engineering & Applied Sciences KW - Security measures KW - Validation KW - Verification KW - Information Technology KW - Software Engineering KW - Software protection KW - Reliability KW - Computer software protection KW - Protection of software KW - Computer science. KW - Computer communication systems. KW - Computer programming. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer security. KW - Computer logic. KW - Computer Science. KW - Systems and Data Security. KW - Software Engineering. KW - Computer Communication Networks. KW - Programming Techniques. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer privacy KW - Computer system security KW - Computer systems KW - Computers KW - Cyber security KW - Cybersecurity KW - Electronic digital computers KW - Protection of computer systems KW - Security of computer systems KW - Data protection KW - Security systems KW - Hacking KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Electronic computer programming KW - Programming (Electronic computers) KW - Coding theory KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Network computers KW - Informatics KW - Science KW - Protection KW - Programming KW - Distributed processing KW - Access control KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Data protection. KW - Computer networks. KW - Compilers (Computer programs). KW - Data and Information Security. KW - Compilers and Interpreters. KW - Computer Science Logic and Foundations of Programming. KW - Data governance KW - Data regulation KW - Personal data protection KW - Protection, Data KW - Compiling programs (Computer programs) KW - Computer programs KW - Programming software KW - Systems software UR - https://www.unicat.be/uniCat?func=search&query=sysid:7691462 AB - This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. ER -