TY - BOOK AU - Montanari,U. AU - Sannella,D. AU - Bruni,Roberto ED - TGC 2006 TI - Trustworthy global computing: second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers T2 - Lecture notes in computer science, SN - 9783540753360 AV - QA76.9.A25 T46 2006eb U1 - 005.8 22 PY - 2007/// CY - Berlin, New York PB - Springer KW - Computer security KW - Congresses KW - Computer networks KW - Security measures KW - Reliability KW - Software protection KW - Sécurité informatique KW - Congrès KW - Réseaux d'ordinateurs KW - Sécurité KW - Mesures KW - Fiabilité KW - Logiciels KW - Protection KW - cct KW - Informatique KW - eclas KW - fast KW - Anonymität KW - gnd KW - Datensicherung KW - Grid Computing KW - Prozessalgebra KW - Serviceorientierte Architektur KW - Sicherheitsprotokoll KW - Trusted Computing KW - Verteiltes System KW - Segurança de computadores (congressos) KW - larpcal KW - Redes de computadores (medidas de segurança;congressos) KW - Softwares (proteção;congressos) KW - programmeren KW - programming KW - computerwetenschappen KW - computer sciences KW - computernetwerken KW - computer networks KW - programmeertalen KW - programming languages KW - software engineering KW - gegevensbeheer KW - data management KW - Information and Communication Technology (General) KW - Informatie- en communicatietechnologie (algemeen) KW - Congress KW - proceedings (reports) KW - aat KW - Conference papers and proceedings KW - lcgft KW - Actes de congrès KW - rvmgf N1 - Includes bibliographical references and index; FP6 Project overviews -- Keynote speakers -- Types to discipline interactions -- Calculi for distributed systems -- Flexible modeling -- Algorithms and systems for global computing -- Security, anonymity and type safety N2 - This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with 2 keynote lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on types to discipline interactions, calculi for distributed systems, flexible modeling, algorithms and systems for global computing, as well as security, anonymity and type safety. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets UR - https://link.springer.com/10.1007/978-3-540-75336-0 ER -