Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / Edition 1

by Martin Wirsing, Martin Hofmann, Axel Rauschmayer

Overview

Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the fifth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010) that was held in Munich, Germany, February 24-26, 2010. The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and prools for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.

Product Details

ISBN-13:	9783642156397
Publisher:	Springer Berlin Heidelberg
Publication date:	11/04/2010
Series:	Lecture Notes in Computer Science , #6084
Edition description:	2010
Pages:	380
Product dimensions:	6.10(w) x 9.20(h) x 0.80(d)

Table of Contents

I Invited Talks

Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode David Aspinall Robert Atkey Kenneth MacKenzie Donald Sannella 1

Perspectives in Certificate Translation Gilles Barthe César Kunz 23

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes Marco Bernardo Rocco De Nicola Michele Loreti 35

Toward a Game-Theoretic Model of Grid Systems Maria Grazia Buscemi Ugo Montanari Sonia Taneja 57

Functions as Processes: Termination and the λμμ-calculus Matteo Cimini Claudio Sacerdoti Coen Davide Sangiorgi 73

Predicate Encryption for Secure Remote Storage (Abstract) Giuseppe Persiano 87

Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols Vladimiro Sassone Ehab ElSalamouny Sardaouna Hamadou 88

II Types and Processes

Expressiveness of Generic Process Shape Types Jan Jakubuv J.B. Wells 103

A Java Inspired Semantics for Transactions in SOC Laura Bocchi Emilio Tuosto 120

Responsive Choice in Mobile Processes Maxime Gamboni António Ravara 135

A Model of Evolvable Components Fabrizio Montesi Davide Sangiorgi 153

III Games and Concurrent Systems

The Impact of Altruism on the Efficiency of Atomic Congestion Games Ioannis Caragiannis Christos Kaklamanis Panagiotis Kanellopoulos Maria Kyropoulou Evi Papaioannou 172

Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung Joaquim Gabarro Peter Kilpatrick Maria Serna Alan Stewart 189

An Algebra of Hierarchical Graphs Roberto Bruni Fabio Gadducci Alberto Lluch Lafuente 205

Property-Preserving Refinement of Concurrent Systems Liliana D'Errico Michele Loreti 222

IV Certification of Correctness

Certificate Translation for the Verification of Concurrent Programs César Kunz 237

Certified Result Checking for Polyhedral Analysis of Bytecode Programs Frédéric Besson Thomas Jensen David Pichardie Tiphaine Turpin 253

V Tools and Languages

A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments Paolo Bertasi Alberto Pettarin Michele Scquizzato Francesco Silvestri 268

A Framework for Rule-Based Dynamic Adaptation Ivan Lanese Antonio Bucchiarone Fabrizio Montesi 284

CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility Vincenzo Ciancaglini Luigi Liquori Laurent Vanni 301

Refactoring Long Running Transactions: A Case Study Gianluigi Ferrari Roberto Guanciale Daniele Strollo Emilio Tuosto 318

VI Probabilistic Aspects

Approximate Model Checking of Stochastic COWS Paola Quaglia Stefano Schivo 335

Probabilistic Aspects: Checking Security in an Imperfect World Chris Hankin Flemming Nielson Hanne Riis Nielson 348

A Tool for Checking Probabilistic Properties of COWS Services Igor Cappello Paola Quaglia 364

Author Index 379