Trustworthy Global Computing

by Montanari, Ugo; Sannella, Donald; Bruni, Roberto

• ISBN13: 9783540753339
• ISBN10: 3540753338
• Format: Paperback
• Copyright: 2007-12-20
• Publisher: Springer-Verlag New York Inc

Summary

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 two keynote lectures were carefully reviewed and selected from 32 submissions. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.

Table of Contents

FP6 Project Overviews
Project AEOLUS: An Overview	p. 1
MOBIUS: Mobility, Ubiquity, Security	p. 10
Sensoria Process Calculi for Service-Oriented Computing	p. 30
Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks	p. 51
Keynote Speakers
Software of the Future Is the Future of Software?	p. 69
An Algorithmic Theory of Mobile Agents	p. 86
Types to Discipline Interactions
Spatial-Behavioral Types, Distributed Services, and Resources	p. 98
Integration of a Security Type System into a Program Logic	p. 116
Calculi for Distributed Systems
PRISMA: A Mobile Calculus with Parametric Synchronization	p. 132
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines	p. 150
A Typed Calculus for Querying Distributed XML Documents	p. 167
Flexible Modeling
Verification of Model Transformations: A Case Study with BPEL	p. 183
A Fuzzy Approach for Negotiating Quality of Services	p. 200
Algorithms and Systems for Global Computing
Scheduling to Maximize Participation	p. 218
On the Limits of Cache-Oblivious Matrix Transposition	p. 233
The KOA Remote Voting System: A Summary of Work to Date	p. 244
Security, Anonymity and Type Safety
Security Types for Dynamic Web Data	p. 263
Anonymity Protocols as Noisy Channels	p. 281
A Framework for Automatically Checking Anonymity with [mu]CRL	p. 301
A Framework for Type Safe Exchange of Mobile Code	p. 319
Author Index	p. 339
Table of Contents provided by Ingram. All Rights Reserved.